Searched refs:read_id_reg (Results 1 – 1 of 1) sorted by relevance
1923 static u64 read_id_reg(const struct kvm_vcpu *vcpu, const struct sys_reg_desc *r) in read_id_reg() function2016 p->regval = read_id_reg(vcpu, r); in access_id_reg()2412 *val = read_id_reg(vcpu, rd); in get_id_reg()2417 *val = read_id_reg(vcpu, rd); in get_id_reg()2436 if (val != read_id_reg(vcpu, rd)) in set_id_reg()3152 expected = read_id_reg(vcpu, r); in set_imp_id_reg()