get_fdt           221 drivers/firmware/efi/libstub/arm-stub.c 		fdt_addr = (uintptr_t)get_fdt(sys_table, &fdt_size);
get_fdt            51 drivers/firmware/efi/libstub/efistub.h void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size);