Symbol: efi_disk_show
sys/arch/i386/stand/efiboot/boot.c
519
efi_disk_show();
sys/arch/i386/stand/efiboot/efiboot.h
84
void efi_disk_show(void);