kvm_register_readl 4626 arch/x86/kvm/vmx/nested.c 	field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf));
kvm_register_readl 4720 arch/x86/kvm/vmx/nested.c 		field_value = kvm_register_readl(vcpu,
kvm_register_readl 4734 arch/x86/kvm/vmx/nested.c 	field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf));
kvm_register_readl 4923 arch/x86/kvm/vmx/nested.c 	type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf);
kvm_register_readl 4982 arch/x86/kvm/vmx/nested.c 	type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf);
kvm_register_readl 5227 arch/x86/kvm/vmx/nested.c 		val = kvm_register_readl(vcpu, reg);
kvm_register_readl 4814 arch/x86/kvm/vmx/vmx.c 		val = kvm_register_readl(vcpu, reg);
kvm_register_readl 4938 arch/x86/kvm/vmx/vmx.c 		if (kvm_set_dr(vcpu, dr, kvm_register_readl(vcpu, reg)))
kvm_register_readl 5404 arch/x86/kvm/vmx/vmx.c 	type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf);