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,