Searched refs:secondary_exec_ctl (Results 1 – 1 of 1) sorted by relevance
8942 u32 secondary_exec_ctl = vmx_secondary_exec_control(vmx); in vmx_cpuid_update() local8947 secondary_exec_ctl &= ~SECONDARY_EXEC_RDTSCP; in vmx_cpuid_update()8964 secondary_exec_ctl &= ~SECONDARY_EXEC_ENABLE_INVPCID; in vmx_cpuid_update()8971 vmcs_set_secondary_exec_control(secondary_exec_ctl); in vmx_cpuid_update()