device_suspend(PMSG_SUSPEND); 
void kernel_halt(void){	notifier_call_chain(&reboot_notifier_list, SYS_HALT, NULL);	system_state = SYSTEM_HALT;	device_suspend(PMSG_SUSPEND);	device_shutdown();	printk(KERN_EMERG "System halted.\n");	machine_halt();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c36f19e02a96488f550fdb678c92500afca3109b/sys.c/clean/kernel/sys.c