Searched refs:fdt64_t (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdt.h77 fdt64_t address;
78 fdt64_t size;
H A Dlibfdt_env.h71 typedef uint64_t FDT_BITWISE fdt64_t; typedef
100 static inline uint64_t fdt64_to_cpu(fdt64_t x)
104 static inline fdt64_t cpu_to_fdt64(uint64_t x)
106 return (FDT_FORCE fdt64_t)CPU_TO_FDT64(x);
H A Dlibfdt.h172 static inline uint64_t fdt64_ld(const fdt64_t *p)
174 fdt64_t v;
1299 fdt64_t tmp = cpu_to_fdt64(val);
1381 fdt64_t tmp = cpu_to_fdt64(val);
1622 fdt64_t tmp = cpu_to_fdt64(val);
1794 fdt64_t tmp = cpu_to_fdt64(val);

Completed in 85 milliseconds