Symbol: efi_cleanup
sys/arch/i386/stand/efiboot/efiboot.c
109
efi_cleanup(void)
sys/stand/efiboot/efiboot.c
119
efi_cleanup(void)