Symbol: vga_set_video
sys/dev/ic/vga.c
806
vga_set_video(vc, *(int *)data == WSDISPLAYIO_VIDEO_ON);
sys/dev/ic/vga_raster.c
651
vga_set_video(vc, *(int *)data == WSDISPLAYIO_VIDEO_ON);