do_uml_exitcalls(); kill_off_processes(); 
uml_cleanup(); 
void machine_power_off(void){	do_uml_exitcalls();	kill_off_processes();	CHOOSE_MODE(halt_tt(), halt_skas());}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/026549d28469f7d4ca7e5a4707f0d2dc4f2c164c/reboot.c/buggy/arch/um/kernel/reboot.c