__vmcs_readl     1383 arch/x86/kvm/vmx/nested.c 		val = __vmcs_readl(field.encoding);
__vmcs_readl      109 arch/x86/kvm/vmx/ops.h 	return __vmcs_readl(field);
__vmcs_readl      117 arch/x86/kvm/vmx/ops.h 	return __vmcs_readl(field);
__vmcs_readl      126 arch/x86/kvm/vmx/ops.h 	return __vmcs_readl(field);
__vmcs_readl      128 arch/x86/kvm/vmx/ops.h 	return __vmcs_readl(field) | ((u64)__vmcs_readl(field+1) << 32);
__vmcs_readl      137 arch/x86/kvm/vmx/ops.h 	return __vmcs_readl(field);
__vmcs_readl      221 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, __vmcs_readl(field) & ~mask);
__vmcs_readl      231 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, __vmcs_readl(field) | mask);