cpu_has_vmx_invvpid_single
!(cpu_has_vmx_invvpid_single() || cpu_has_vmx_invvpid_global()))
if (cpu_has_vmx_invvpid_single())