unregister_reboot_notifier(&s3c2410wdt_notifier); 
static void __exit watchdog_exit(void){	driver_unregister(&s3c2410wdt_driver);	unregister_reboot_notifier(&s3c2410wdt_notifier);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94f1e9f316b10972b77a64344006c3bf8a4929b4/s3c2410_wdt.c/clean/drivers/char/watchdog/s3c2410_wdt.c