MPIDR_AFF3_SHIFT
#define MPIDR_AFF3_MASK (UL(0xff) << MPIDR_AFF3_SHIFT)
mpidr = aff3 << MPIDR_AFF3_SHIFT |
((vcpuid >> 20) & 0xff) << MPIDR_AFF3_SHIFT;