Symbol: efi_gop_show
sys/stand/efiboot/boot.c
432
efi_gop_show();
sys/stand/efiboot/efiboot.h
113
void efi_gop_show(void);