Searched refs:read_id_reg (Results 1 – 1 of 1) sorted by relevance
1074 static u64 read_id_reg(const struct kvm_vcpu *vcpu, in read_id_reg() function1103 p->regval = read_id_reg(vcpu, r, raz); in __access_id_reg()1212 const u64 val = read_id_reg(vcpu, rd, raz); in __get_id_reg()1230 if (val != read_id_reg(vcpu, rd, raz)) in __set_id_reg()
