vga_free_screen   231 dev/ic/vga.c   void	vga_free_screen(void *, void *);
vga_free_screen   245 dev/ic/vga.c   	vga_free_screen,