VGAwSEQ (0x00, 0x03);		/* End Reset */ 
VGAwSEQ (0x00, 0x03, par);	/* End Reset */ 
static void vgaHWSeqReset (struct savagefb_par *par, int start){	if (start)		VGAwSEQ (0x00, 0x01);		/* Synchronous Reset */	else		VGAwSEQ (0x00, 0x03);		/* End Reset */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1cc650c69f3079ce3c616c998a741bcf6ddf4f4d/savagefb_driver.c/buggy/drivers/video/savage/savagefb_driver.c