SECONDARY_EXEC_PAUSE_LOOP_EXITING;
 }
 
-static inline bool vmx_rdrand_supported(void)
+static inline bool cpu_has_vmx_rdrand(void)
 {
        return vmcs_config.cpu_based_2nd_exec_ctrl &
                SECONDARY_EXEC_RDRAND_EXITING;
                SECONDARY_EXEC_ENCLS_EXITING;
 }
 
-static inline bool vmx_rdseed_supported(void)
+static inline bool cpu_has_vmx_rdseed(void)
 {
        return vmcs_config.cpu_based_2nd_exec_ctrl &
                SECONDARY_EXEC_RDSEED_EXITING;
        return vmcs_config.cpu_based_2nd_exec_ctrl & SECONDARY_EXEC_ENABLE_PML;
 }
 
-static inline bool vmx_xsaves_supported(void)
+static inline bool cpu_has_vmx_xsaves(void)
 {
        return vmcs_config.cpu_based_2nd_exec_ctrl &
                SECONDARY_EXEC_XSAVES;
 }
 
-static inline bool vmx_waitpkg_supported(void)
+static inline bool cpu_has_vmx_waitpkg(void)
 {
        return vmcs_config.cpu_based_2nd_exec_ctrl &
                SECONDARY_EXEC_ENABLE_USR_WAIT_PAUSE;
 
        if (!enable_pml)
                exec_control &= ~SECONDARY_EXEC_ENABLE_PML;
 
-       if (vmx_xsaves_supported()) {
+       if (cpu_has_vmx_xsaves()) {
                /* Exposing XSAVES only when XSAVE is exposed */
                bool xsaves_enabled =
                        boot_cpu_has(X86_FEATURE_XSAVE) &&
                }
        }
 
-       if (vmx_rdrand_supported()) {
+       if (cpu_has_vmx_rdrand()) {
                bool rdrand_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDRAND);
                if (rdrand_enabled)
                        exec_control &= ~SECONDARY_EXEC_RDRAND_EXITING;
                }
        }
 
-       if (vmx_rdseed_supported()) {
+       if (cpu_has_vmx_rdseed()) {
                bool rdseed_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDSEED);
                if (rdseed_enabled)
                        exec_control &= ~SECONDARY_EXEC_RDSEED_EXITING;
                }
        }
 
-       if (vmx_waitpkg_supported()) {
+       if (cpu_has_vmx_waitpkg()) {
                bool waitpkg_enabled =
                        guest_cpuid_has(vcpu, X86_FEATURE_WAITPKG);
 
        if (vmx->vpid != 0)
                vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
 
-       if (vmx_xsaves_supported())
+       if (cpu_has_vmx_xsaves())
                vmcs_write64(XSS_EXIT_BITMAP, VMX_XSS_EXIT_BITMAP);
 
        if (enable_pml) {
 
        /* CPUID 0xD.1 */
        supported_xss = 0;
-       if (!vmx_xsaves_supported())
+       if (!cpu_has_vmx_xsaves())
                kvm_cpu_cap_clear(X86_FEATURE_XSAVES);
 
        /* CPUID 0x80000001 */
        if (!cpu_has_vmx_rdtscp())
                kvm_cpu_cap_clear(X86_FEATURE_RDTSCP);
 
-       if (vmx_waitpkg_supported())
+       if (cpu_has_vmx_waitpkg())
                kvm_cpu_cap_check_and_set(X86_FEATURE_WAITPKG);
 }