__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);