libmango: add a task config key to get the task ID

2026-04-30 19:05:14 +01:00
parent 8f77eb1ed0
commit 562b856488
1 changed files with 1 additions and 0 deletions
@@ -26,6 +26,7 @@

 /* config keys for use with task_config_get/task_config_set */
 #define TASK_CFG_INVALID             0x00000u
+#define TASK_CFG_ID                  0x10001u

 /* config keys for use with thread_config_get/thread_config_set */
 #define THREAD_CFG_INVALID           0x00000u