Searched refs:value_64 (Results 1 – 1 of 1) sorted by relevance
176 uint64_t value_64; in data_append_integer() local192 value_64 = cpu_to_fdt64(value); in data_append_integer()193 return data_append_data(d, &value_64, 8); in data_append_integer()