SYS_CTR_EL0
case SYS_CTR_EL0:
init_cpu_ftr_reg(SYS_CTR_EL0, info->reg_ctr);
taint |= check_update_ftr_reg(SYS_CTR_EL0, cpu,
read_sysreg_case(SYS_CTR_EL0);
{ SYS_CTR_EL0, &arm64_ftr_reg_ctrel0 },
kvm_read_vm_id_reg(vcpu->kvm, SYS_CTR_EL0) == read_cpuid(CTR_EL0))
HOST_HANDLED(SYS_CTR_EL0),
case SYS_CTR_EL0:
p->regval = kvm_read_vm_id_reg(vcpu->kvm, SYS_CTR_EL0);
u64 ctr_el0 = read_sanitised_ftr_reg(SYS_CTR_EL0);
u64 ctr_el0 = read_sanitised_ftr_reg(SYS_CTR_EL0);
u64 ctr = read_sanitised_ftr_reg(SYS_CTR_EL0);
kvm_read_vm_id_reg(kvm, SYS_CTR_EL0) == read_sanitised_ftr_reg(SYS_CTR_EL0))
generate_mov_q(read_sanitised_ftr_reg(SYS_CTR_EL0),
GUEST_REG_SYNC(SYS_CTR_EL0);
ctr = vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(SYS_CTR_EL0));
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_CTR_EL0), ctr);
test_reg_vals[encoding_to_range_idx(SYS_CTR_EL0)] = ctr;
test_assert_id_reg_unchanged(vcpu, SYS_CTR_EL0);