vga_copyrows      100 dev/ic/vga.c   void	vga_copyrows(void *, int, int, int);
vga_copyrows      109 dev/ic/vga.c   	vga_copyrows,