qinwei1 8021dfece6 sched/task/task_getpid: getpid should return process id not thread id ... Summary: implement the right semantics: 1. getpid should return the main thread id 2. gettid should return the current thread id Refer to: https://github.com/apache/incubator-nuttx/issues/2499 https://github.com/apache/incubator-nuttx/pull/2518 Signed-off-by: qinwei1 <qinwei1@xiaomi.com>		2022-11-17 17:58:08 +08:00
..
include	arch/arm: Fix types.h:61:9: error: unknown type name '__UINT32_TYPE__'	2022-11-06 07:14:39 +01:00
src	sched/task/task_getpid: getpid should return process id not thread id	2022-11-17 17:58:08 +08:00
Kconfig	arm/toolchain: update toolchain comment to avoid confusion	2022-10-25 12:33:46 +08:00