[PATCH v4 0/3] x86/vmx: Update __vmread()

[dmkhn@xxxxxxxxx]

The patch series reworks __vmread() by introducing a new cleaner API.

Patch 1 introduces a new vmread() call which will be a replacement for
__vmcall().
Patch 2 updates the type of arch_vcpu->dr7 field.
Patch 3 replaces __vmread() with vmread().

Link to v3: 
https://lore.kernel.org/xen-devel/20250422215833.522007-1-dmukhin@xxxxxxxx/
Link to CI: 
https://gitlab.com/xen-project/people/dmukhin/xen/-/pipelines/1787132005

Denis Mukhin (3):
  x86/vmx: Introduce vmread()
  x86/vmx: Update arch_vcpu->dr7 type
  x86/vmx: Replace __vmread() with vmread()

 docs/misra/function-macro-properties.json |   9 -
 xen/arch/x86/cpu/vpmu_intel.c             |   3 +-
 xen/arch/x86/hvm/vmx/intr.c               |  26 +--
 xen/arch/x86/hvm/vmx/realmode.c           |   2 +-
 xen/arch/x86/hvm/vmx/vmcs.c               |  11 +-
 xen/arch/x86/hvm/vmx/vmx.c                | 210 ++++++++++------------
 xen/arch/x86/hvm/vmx/vvmx.c               |  43 ++---
 xen/arch/x86/include/asm/domain.h         |   2 +-
 xen/arch/x86/include/asm/hvm/vmx/vmx.h    |  19 +-
 9 files changed, 134 insertions(+), 191 deletions(-)

-- 
2.34.1