SYS_MIDR_EL1
case SYS_MIDR_EL1:
case SYS_MIDR_EL1:
return kvm_read_vm_id_reg(kvm, SYS_MIDR_EL1);
case SYS_MIDR_EL1:
case SYS_MIDR_EL1:
GUEST_REG_SYNC(SYS_MIDR_EL1);
test_id_reg(vcpu, SYS_MIDR_EL1);
test_assert_id_reg_unchanged(vcpu, SYS_MIDR_EL1);