Searched refs:secondary_exec_ctl (Results 1 – 1 of 1) sorted by relevance
9137 u32 secondary_exec_ctl = vmx_secondary_exec_control(vmx); in vmx_cpuid_update() local9142 secondary_exec_ctl &= ~SECONDARY_EXEC_RDTSCP; in vmx_cpuid_update()9159 secondary_exec_ctl &= ~SECONDARY_EXEC_ENABLE_INVPCID; in vmx_cpuid_update()9166 vmcs_set_secondary_exec_control(secondary_exec_ctl); in vmx_cpuid_update()