Rev 1175 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#include <types.h>
typedef uint64_t task_id_t;
extern task_id_t get_task_id(void);
extern task_id_t task_get_id(void);
#endif