Searched refs:hma_vmx_capabs (Results 1 – 1 of 1) sorted by relevance
68 static hma_vmx_capab_t hma_vmx_capabs = 0; variable208 if ((hma_vmx_capabs & HVC_VPID) == 0) { in hma_vmx_vpid_alloc()249 if ((hma_vmx_capabs & HVC_INVEPT_ONE) != 0) { in hma_vmx_invept_allcpus()251 } else if ((hma_vmx_capabs & HVC_INVEPT_ALL) != 0) { in hma_vmx_invept_allcpus()374 if ((hma_vmx_capabs & HVC_INVEPT_ALL) != 0) { in hma_vmx_cpu_setup()426 hma_vmx_capabs |= HVC_EPT; in hma_vmx_query_details()429 hma_vmx_capabs |= HVC_VPID; in hma_vmx_query_details()434 if ((hma_vmx_capabs & HVC_EPT) != 0) { in hma_vmx_query_details()438 hma_vmx_capabs |= HVC_INVEPT_ONE; in hma_vmx_query_details()441 hma_vmx_capabs |= HVC_INVEPT_ALL; in hma_vmx_query_details()