Symbol: efi_video_init
sys/arch/amd64/stand/efiboot/efiboot.c
64
static void efi_video_init(void);
sys/arch/amd64/stand/efiboot/efiboot.c
92
efi_video_init();