Searched defs:fdt_size (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dfdt.c33 uint32_t fdt_size(void *fdt) function
/seL4-refos-master/tools/elfloader/src/
H A Dfdt.c33 uint32_t fdt_size(void *fdt) function
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dio.c312 ssize_t fdt_size = block_size - sizeof(seL4_BootInfoHeader); local
360 ssize_t fdt_size = simple_get_extended_bootinfo_length(simple, SEL4_BOOTINFO_HEADER_FDT); local
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c312 ssize_t fdt_size = block_size - sizeof(seL4_BootInfoHeader); local
360 ssize_t fdt_size = simple_get_extended_bootinfo_length(simple, SEL4_BOOTINFO_HEADER_FDT); local

Completed in 67 milliseconds