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