[xen master] VMX: drop vmx_virt_exception and make vmx_vmfunc static

[patchbot@xxxxxxx]

commit f628fc8d18d3f5ab7ce93b6a08a3327f49444a73
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Tue Jan 9 14:05:33 2024 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Jan 9 14:05:33 2024 +0100

    VMX: drop vmx_virt_exception and make vmx_vmfunc static
    
    The variable was introduced by 69b830e5ffb4 ("VMX: VMFUNC and #VE
    definitions and detection") without any use and - violating Misra C:2012
    rule 8.4 - without a declaration. Since no use has appeared, drop it.
    
    For vmx_vmfunc the situation is similar, but not identical: It at least
    has one use. Convert it to be static (and make style adjustments while
    there).
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>
---
 xen/arch/x86/hvm/vmx/vmcs.c | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c
index 6711697ff6..0a5348bdc8 100644
--- a/xen/arch/x86/hvm/vmx/vmcs.c
+++ b/xen/arch/x86/hvm/vmx/vmcs.c
@@ -167,8 +167,7 @@ u32 vmx_secondary_exec_control __read_mostly;
 u32 vmx_vmexit_control __read_mostly;
 u32 vmx_vmentry_control __read_mostly;
 u64 vmx_ept_vpid_cap __read_mostly;
-u64 vmx_vmfunc __read_mostly;
-bool vmx_virt_exception __read_mostly;
+static uint64_t __read_mostly vmx_vmfunc;
 
 static DEFINE_PER_CPU_READ_MOSTLY(paddr_t, vmxon_region);
 static DEFINE_PER_CPU(paddr_t, current_vmcs);
@@ -475,8 +474,7 @@ static int vmx_init_vmcs_config(bool bsp)
         vmx_basic_msr              = ((u64)vmx_basic_msr_high << 32) |
                                      vmx_basic_msr_low;
         vmx_vmfunc                 = _vmx_vmfunc;
-        vmx_virt_exception         = !!(_vmx_secondary_exec_control &
-                                       SECONDARY_EXEC_ENABLE_VIRT_EXCEPTIONS);
+
         vmx_display_features();
 
         /* IA-32 SDM Vol 3B: VMCS size is never greater than 4kB. */
--
generated by git-patchbot for /home/xen/git/xen.git#master