Searched refs:cpu_to_fdt64 (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/util_libs/libfdt/
H A Dlibfdt_env.h104 static inline fdt64_t cpu_to_fdt64(uint64_t x) function
H A Dlibfdt.h1299 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);
H A Dfdt_sw.c215 re->address = cpu_to_fdt64(addr);
216 re->size = cpu_to_fdt64(size);
H A Dfdt_rw.c186 re->address = cpu_to_fdt64(address);
187 re->size = cpu_to_fdt64(size);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c300 irq_map.irq_num = cpu_to_fdt64(pci_config->interrupt_line - 32);

Completed in 100 milliseconds