ppc_md.cpu_irq_down(); 
ppc_md.cpu_irq_down(0); 
static void kexec_prepare_cpus(void){	extern void smp_release_cpus(void);	/*	 * move the secondarys to us so that we can copy	 * the new kernel 0-0x100 safely	 *	 * do this if kexec in setup.c ?	 *	 * We need to release the cpus if we are ever going from an	 * UP to an SMP kernel.	 */	smp_release_cpus();	if (ppc_md.cpu_irq_down)		ppc_md.cpu_irq_down();	local_irq_disable();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6d22d85a852b72398a81b8e476977b28b4400f7c/machine_kexec.c/buggy/arch/ppc64/kernel/machine_kexec.c