vga_w(state.vgabase, VGA_PEL_MSK, 0xff); 
static void vga_set_palette(struct vc_data *vc, unsigned char *table){	int i, j;	for (i = j = 0; i < 16; i++) {		vga_w(state.vgabase, VGA_PEL_IW, table[i]);		vga_w(state.vgabase, VGA_PEL_D, vc->vc_palette[j++] >> 2);		vga_w(state.vgabase, VGA_PEL_D, vc->vc_palette[j++] >> 2);		vga_w(state.vgabase, VGA_PEL_D, vc->vc_palette[j++] >> 2);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1a66ddcb770fbd20ce115910c7828cafdba099c1/vgacon.c/clean/drivers/video/console/vgacon.c