Symbol: efi_fdt
sys/arch/arm64/stand/efiboot/efiboot.c
636
fdt = efi_fdt();
sys/arch/arm64/stand/efiboot/efiboot.c
85
void *efi_fdt(void);
sys/arch/armv7/stand/efiboot/efiboot.c
551
fdt = efi_fdt();
sys/arch/armv7/stand/efiboot/efiboot.c
75
void *efi_fdt(void);
sys/arch/riscv64/stand/efiboot/efiboot.c
517
fdt = efi_fdt();
sys/arch/riscv64/stand/efiboot/efiboot.c
79
void *efi_fdt(void);