cpcmd(vmpoff_cmd, NULL, 0); 
cpcmd(vmpoff_cmd, NULL, 0, NULL); 
static void do_machine_power_off(void * __unused){	static atomic_t cpuid = ATOMIC_INIT(-1);	if (atomic_compare_and_swap(-1, smp_processor_id(), &cpuid) == 0) {		smp_send_stop();		if (MACHINE_IS_VM && strlen(vmpoff_cmd) > 0)			cpcmd(vmpoff_cmd, NULL, 0);		signal_processor(smp_processor_id(),				 sigp_stop_and_store_status);	}	do_wait_for_stop();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6b979de395c7e1b7e59f74a870e1d1911853eccb/smp.c/clean/arch/s390/kernel/smp.c