CPU_AFF1
localgrp = CPU_AFF1(CPU_AFFINITY(PCPU_GET(cpuid)));
if (CPU_AFF1(aff) == localgrp) {
sendmask |= CPU_AFF1(aff) << 16;
((uint64_t)CPU_AFF1(aff) << ICC_SGI1R_EL1_AFF1_SHIFT))
(CPU_AFF1(aff) << 8) | CPU_AFF0(aff);
sbuf_printf(sb, " %2d", CPU_AFF1(desc->mpidr));
if (CPU_AFF1(desc->mpidr) != CPU_AFF1(prev_desc->mpidr))
(CPU_AFF1(vmpidr_el2) << 8) | CPU_AFF0(vmpidr_el2);