PCPU_GET_MPIDR
if (pcpu != NULL && PCPU_GET_MPIDR(pcpu) == intr->ArmMpidr) {
if (pcpu != NULL && PCPU_GET_MPIDR(pcpu) == mpidr) {
return (PCPU_GET_MPIDR(cpuid_to_pcpu[0]) == (target_cpu & CPU_AFF_MASK));
PCPU_GET_MPIDR(cpuid_to_pcpu[cpu]) != mpidr) {
PCPU_GET_MPIDR(cpuid_to_pcpu[cpu]) == mpidr)