arch/x86/kvm/vmx/nested.c

1710

val = __vmcs_readl(field.encoding);

arch/x86/kvm/vmx/vmx_ops.h

159

return __vmcs_readl(field);

arch/x86/kvm/vmx/vmx_ops.h

167

return __vmcs_readl(field);

arch/x86/kvm/vmx/vmx_ops.h

176

return __vmcs_readl(field);

arch/x86/kvm/vmx/vmx_ops.h

178

return __vmcs_readl(field) | ((u64)__vmcs_readl(field+1) << 32);

arch/x86/kvm/vmx/vmx_ops.h

187

return __vmcs_readl(field);

arch/x86/kvm/vmx/vmx_ops.h

273

__vmcs_writel(field, __vmcs_readl(field) & ~mask);

arch/x86/kvm/vmx/vmx_ops.h

283

__vmcs_writel(field, __vmcs_readl(field) | mask);