Symbol: efi_fdt_system_table
sys/stand/efiboot/efifdt.c
641
efi_fdt_system_table();
sys/stand/efiboot/efifdt.h
50
void efi_fdt_system_table(void);