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