HVC_INVEPT_ALL
} else if ((hma_vmx_capabs & HVC_INVEPT_ALL) != 0) {
if ((hma_vmx_capabs & HVC_INVEPT_ALL) != 0) {
hma_vmx_capabs |= HVC_INVEPT_ALL;