CPU_AFF2
((uint64_t)CPU_AFF2(aff) << ICC_SGI1R_EL1_AFF2_SHIFT) | \
aff = (CPU_AFF3(aff) << 24) | (CPU_AFF2(aff) << 16) |
sbuf_printf(sb, " %2d", CPU_AFF2(desc->mpidr));
if (CPU_AFF2(desc->mpidr) != CPU_AFF2(prev_desc->mpidr))
(CPU_AFF2(CPU_AFFINITY(PCPU_GET(cpuid))))
aff = (CPU_AFF3(vmpidr_el2) << 24) | (CPU_AFF2(vmpidr_el2) << 16) |