VMX_VPID_EXTENT_SINGLE_CONTEXT
case VMX_VPID_EXTENT_SINGLE_CONTEXT:
__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);