physmask         1865 arch/powerpc/sysdev/mpic.c 	u32 physmask;
physmask         1880 arch/powerpc/sysdev/mpic.c 	physmask = 1 << get_hard_smp_processor_id(cpu);
physmask         1883 arch/powerpc/sysdev/mpic.c 		       msg * MPIC_INFO(CPU_IPI_DISPATCH_STRIDE), physmask);