Symbol: efi_fdt_fini
sys/stand/efiboot/efifdt.c
649
efi_fdt_fini();
sys/stand/efiboot/efifdt.h
49
void efi_fdt_fini(void);