tsk.h

Go to the documentation of this file.

/************************************************************************/
#ifndef __TSK_H__
#define __TSK_H__
 
#include <stdint.h>
#include <stdbool.h>
 
#define FPS 60
 
#define MS_TO_FRAMES(ms)    (((ms)*FPS/500 + 1)/2)
 
#define TSK_PEND_FOREVER -1
 
/************************************************************************/
void vint_cb_set(void (*vint_cb)(void));
 
/************************************************************************/
void tsk_user_set(void (*user_tsk)(void));
 
/************************************************************************/
void tsk_user_yield(void);
 
/************************************************************************/
bool tsk_super_pend(int16_t wait_tout);
 
/************************************************************************/
void tsk_super_post(bool force_ctx_sw);
 
#endif /*__TSK_H__*/