Symbol: efi_gop_dump
sys/stand/efiboot/boot.c
341
efi_gop_dump();
sys/stand/efiboot/efiboot.h
114
void efi_gop_dump(void);