__vmcs_writel    1419 arch/x86/kvm/vmx/nested.c 			__vmcs_writel(field.encoding, val);
__vmcs_writel    4785 arch/x86/kvm/vmx/nested.c 			__vmcs_writel(field, field_value);
__vmcs_writel     181 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, value);
__vmcs_writel     190 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, value);
__vmcs_writel     199 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, value);
__vmcs_writel     201 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field+1, value >> 32);
__vmcs_writel     211 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, value);
__vmcs_writel     221 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, __vmcs_readl(field) & ~mask);
__vmcs_writel     231 arch/x86/kvm/vmx/ops.h 	__vmcs_writel(field, __vmcs_readl(field) | mask);