vga_devctl 62 bsp/drv/dev/video/vga.c static int vga_devctl(device_t, u_long, void *); vga_devctl 77 bsp/drv/dev/video/vga.c /* devctl */ vga_devctl,