KVM_DEV_ARM_VGIC_V3_MPIDR_SHIFT
(0xffffffffULL << KVM_DEV_ARM_VGIC_V3_MPIDR_SHIFT)
KVM_DEV_ARM_VGIC_V3_MPIDR_SHIFT;