os_running_task_id

#include <rtx51tny.h>

char os_running_task_id (void);

The os_running_task_id function determines the task_id of the task currently executing.

Note

This function is part of the RTX51 Tiny Real-Time Operating System which is included only with the PK51 Professional Developer's Kit.

#include <rtx51tny.h>

void tst_os_running_task (void) _task_ 3
{
unsigned char tid;

tid = os_running_task_id ();    /* tid = 3 */
}