SYS_MPIDR_EL1
case SYS_MPIDR_EL1:
{ SYS_DESC(SYS_MPIDR_EL1), NULL, reset_mpidr, MPIDR_EL1 },
target_mpidr = vcpu_get_reg(target, KVM_ARM64_SYS_REG(SYS_MPIDR_EL1));
GUEST_REG_SYNC(SYS_MPIDR_EL1);
test_id_reg(vcpu, SYS_MPIDR_EL1);
test_assert_id_reg_unchanged(vcpu, SYS_MPIDR_EL1);