mirror of
https://github.com/apache/nuttx.git
synced 2026-06-06 08:36:24 +08:00
bf8446e235
See the reference here: https://man7.org/linux/man-pages/man2/gettid.2.html Change-Id: Ia814d0ccc3b20d8dfc36c809682ddf6e21811d20 Signed-off-by: chao.an <anchao@xiaomi.com>