do_uml_exitcalls(); 
void uml_cleanup(void){	kill_off_processes();	do_uml_exitcalls();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/026549d28469f7d4ca7e5a4707f0d2dc4f2c164c/reboot.c/clean/arch/um/kernel/reboot.c