(void) notify_die(DIE_MACHINE_RESTART, restart_cmd, NULL, 0, 0, 0); 
machine_restart (char *restart_cmd){	(*efi.reset_system)(EFI_RESET_WARM, 0, 0, NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9138d581b0ef855c0314c41c14852a7231b9941c/process.c/clean/arch/ia64/kernel/process.c