vbox_check_supported   44 drivers/gpu/drm/vboxvideo/vbox_drv.c 	if (!vbox_check_supported(VBE_DISPI_ID_HGSMI))
vbox_check_supported  142 drivers/gpu/drm/vboxvideo/vbox_drv.h bool vbox_check_supported(u16 id);
vbox_check_supported  205 drivers/gpu/drm/vboxvideo/vbox_main.c 	vbox->any_pitch = vbox_check_supported(VBE_DISPI_ID_ANYX);