vga_w(state->vgabase, VGA_PEL_MSK, 0xff); 
static void vga_pal_blank(struct vgastate *state){	int i;	for (i = 0; i < 16; i++) {		vga_w(state->vgabase, VGA_PEL_IW, i);		vga_w(state->vgabase, VGA_PEL_D, 0);		vga_w(state->vgabase, VGA_PEL_D, 0);		vga_w(state->vgabase, VGA_PEL_D, 0);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1a66ddcb770fbd20ce115910c7828cafdba099c1/vgacon.c/clean/drivers/video/console/vgacon.c