 /* Set the NO_REBOOT bit to prevent later reboots, just for sure */ pci_read_config_byte (i8xx_tco_pci, 0xd4, &val); val |= 0x02; pci_write_config_byte (i8xx_tco_pci, 0xd4, val); 
static void __exit watchdog_cleanup (void){	u8 val;	/* Stop the timer before we leave */	if (!nowayout)		tco_timer_stop ();	/* Set the NO_REBOOT bit to prevent later reboots, just for sure */	pci_read_config_byte (i8xx_tco_pci, 0xd4, &val);	val |= 0x02;	pci_write_config_byte (i8xx_tco_pci, 0xd4, val);	/* Deregister */	misc_deregister (&i8xx_tco_miscdev);	unregister_reboot_notifier(&i8xx_tco_notifier);	release_region (TCOBASE, 0x10);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/01df0e3a79d3913df178e9a1047ade425a7c118f/i8xx_tco.c/buggy/drivers/char/watchdog/i8xx_tco.c