455 		scr->maxdispoffset = 0x8000 - type->nrows * type->ncols * 2;  in vga_init_screen()
464 		if (cpos < 0 || cpos >= type->nrows * type->ncols)  in vga_init_screen()
877 		    malloc(scr1->pcs.type->ncols * scr1->pcs.type->nrows * 2,  in vga_alloc_screen()
885 		scr->pcs.mem = malloc(type->ncols * type->nrows * 2,  in vga_alloc_screen()
887 		pcdisplay_eraserows(&scr->pcs, 0, type->nrows, *defattrp);  in vga_alloc_screen()
1039 		    oldtype->ncols * oldtype->nrows);  in vga_doswitch()
1057 	    scr->pcs.dispoffset, scr->pcs.mem, type->ncols * type->nrows);  in vga_doswitch()
1131 vga_copyrows(void *id, int srcrow, int dstrow, int nrows)  in vga_copyrows()  argument
1143 		if (dstrow == 0 && (srcrow + nrows == scr->pcs.type->nrows)) {  in vga_copyrows()
1158 				    memh, scr->mindispoffset, nrows * ncols);  in vga_copyrows()
1174 			    nrows * ncols);  in vga_copyrows()
1178 		    nrows * ncols * 2);  in vga_copyrows()
1475 		    scr->pcs.type->nrows * 2);  in vga_scroll()