Searched refs:vcpu_reg32 (Results 1 – 4 of 4) sorted by relevance
165 *vcpu_reg32(vcpu, 14) = *vcpu_pc(vcpu) + return_offset; in prepare_fault32()
101 unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num) in vcpu_reg32() function
258 *vcpu_reg32(vcpu, i) = (u32)*vcpu_reg32(vcpu, i); in set_core_reg()
24 unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num);