task.h

#ifndef PD_TASK_H
#define PD_TASK_H
 
#include <stdint.h>
 
#define TASK_EVENT_PD_AWAKE (1 << 18)
 
/* task_wake() called on task */
#define TASK_EVENT_WAKE (1 << 29)
 
/*
 * Timer expired.  For example, task_wait_event() timed out before receiving
 * another event.
 */
#define TASK_EVENT_TIMER (1U << 31)
 
typedef union
{
  uint64_t val; 
  struct
  {
    uint32_t lo; 
    uint32_t hi; 
  } le;          
} timestamp_t;
 
// Get the current timestamp from the system timer (in uS).
timestamp_t get_time(void);
 
// call in a dedicated task
void task_scheduler(void);
 
uint32_t task_set_event(uint32_t event);
 
uint32_t task_wait_event(int timeout_us);
 
uint32_t task_wait_event_mask(uint32_t event_mask, int timeout_us);
 
static inline void task_wake() { task_set_event(TASK_EVENT_WAKE); }
 
void task_clear_event_bitmap(uint32_t eventToClear);
 
#endif