notifier_call_chain(&reboot_notifier_list, SYS_RESTART, NULL); machine_restart(NULL); 
kernel_restart(NULL); 
static void deferred_cad(void *dummy){	notifier_call_chain(&reboot_notifier_list, SYS_RESTART, NULL);	machine_restart(NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/abcd9e51f5b832439b119d530db1353c12fd4073/sys.c/buggy/kernel/sys.c