reipl_diag();  
static void do_machine_restart_nonsmp(char * __unused){	if (MACHINE_IS_VM)		cpcmd ("IPL", NULL, 0);	else		reipl (0x10000 | S390_lowcore.ipl_device);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c782268be8892962a1ae2c09a2e87e7849454ef1/setup.c/buggy/arch/s390/kernel/setup.c