Searched refs:SECONDARY_EXEC_ENABLE_VPID (Results 1 – 4 of 4) sorted by relevance
254 #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 macro308 (vmx_secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID)
312 opt |= SECONDARY_EXEC_ENABLE_VPID; in vmx_init_vmcs_config()335 SECONDARY_EXEC_ENABLE_VPID) ) in vmx_init_vmcs_config()365 _vmx_secondary_exec_control &= ~SECONDARY_EXEC_ENABLE_VPID; in vmx_init_vmcs_config()1087 SECONDARY_EXEC_ENABLE_VPID | in construct_vmcs()2098 (SECONDARY_EXEC_ENABLE_VPID | SECONDARY_EXEC_ENABLE_VM_FUNCTIONS) ) in vmcs_dump_vcpu()
1166 if ( second_cntl & SECONDARY_EXEC_ENABLE_VPID ) in nvmx_vpid_enabled()2281 SECONDARY_EXEC_ENABLE_VPID | in nvmx_msr_read_intercept()
4418 SECONDARY_EXEC_ENABLE_VPID; in vmx_vmenter_helper()4425 ~SECONDARY_EXEC_ENABLE_VPID; in vmx_vmenter_helper()
Completed in 19 milliseconds