add getOSThreadID()
authorAdam Simpkins <simpkins@fb.com>
Tue, 6 Jun 2017 02:07:36 +0000 (19:07 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 6 Jun 2017 02:23:22 +0000 (19:23 -0700)
Summary:
Add a getOSThreadID() call.  This is similar to getCurrentThreadID(), but
returns the OS-level thread ID.

Reviewed By: yfeldblum

Differential Revision: D5173627

fbshipit-source-id: 0e8695ecfc1e382d12526c1b7d1717be114c9f4a


No differences found