Searched refs:kvm_register_readl (Results 1 – 4 of 4) sorted by relevance
| /OK3568_Linux_fs/kernel/arch/x86/kvm/ |
| H A D | x86.h | 224 static inline unsigned long kvm_register_readl(struct kvm_vcpu *vcpu, int reg) in kvm_register_readl() function
|
| /OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/ |
| H A D | nested.c | 4680 off += kvm_register_readl(vcpu, base_reg); in get_vmx_mem_address() 4682 off += kvm_register_readl(vcpu, index_reg) << scaling; in get_vmx_mem_address() 5089 field = kvm_register_readl(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmread() 5181 value = kvm_register_readl(vcpu, (((instr_info) >> 3) & 0xf)); in handle_vmwrite() 5192 field = kvm_register_readl(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmwrite() 5389 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invept() 5469 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invvpid() 5718 val = kvm_register_readl(vcpu, reg); in nested_vmx_exit_handled_cr() 5789 field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in nested_vmx_exit_handled_vmcs_access()
|
| H A D | vmx.c | 5125 val = kvm_register_readl(vcpu, reg); in handle_cr() 5247 if (kvm_set_dr(vcpu, dr, kvm_register_readl(vcpu, reg))) in handle_dr() 5664 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invpcid()
|
| /OK3568_Linux_fs/kernel/arch/x86/kvm/svm/ |
| H A D | svm.c | 2363 val = kvm_register_readl(&svm->vcpu, reg); in cr_interception() 2440 val = kvm_register_readl(&svm->vcpu, reg); in dr_interception()
|