24 #ifndef _XENOMAI_VXWORKS_TASKINFO_H 25 #define _XENOMAI_VXWORKS_TASKINFO_H 27 #include <vxworks/types.h> 28 #include <vxworks/taskLib.h> 30 typedef struct TASK_DESC {
48 const char *taskName(TASK_ID task_id);
50 TASK_ID taskNameToId(
const char *name);
52 TASK_ID taskIdDefault(TASK_ID task_id);
54 BOOL taskIsReady(TASK_ID task_id);
56 BOOL taskIsSuspended (TASK_ID task_id);
58 STATUS taskGetInfo(TASK_ID task_id, TASK_DESC *desc);