VMX_VPID_EXTENT_ALL_CONTEXT
case VMX_VPID_EXTENT_ALL_CONTEXT:
__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);