Searched refs:kvm_register_readl (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/arch/x86/kvm/ |
| D | x86.h | 231 static inline unsigned long kvm_register_readl(struct kvm_vcpu *vcpu, in kvm_register_readl() function
|
| D | vmx.c | 7259 val = kvm_register_readl(vcpu, reg); in handle_cr()
7384 if (kvm_set_dr(vcpu, dr, kvm_register_readl(vcpu, reg))) in handle_dr()
8730 field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in handle_vmread()
8783 field_value = kvm_register_readl(vcpu, in handle_vmwrite()
8797 field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in handle_vmwrite()
8970 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invept()
9033 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invvpid()
9117 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invpcid()
9517 val = kvm_register_readl(vcpu, reg); in nested_vmx_exit_handled_cr()
|
