cmt.h

#ifndef MAT_CMT_H
#define MAT_CMT_H

#include <inttypes.h>

#define CMT_MAXTASKS 5

/** Task state struct */
struct cmt_task
{
	uint32_t sp;	/**< stack pointer */
	uint32_t tp;	/**< task proc */
	uint32_t d;		/**< ticks left to sleep */
	uint32_t minsp; /**< min detected task's SP */
};

/** Mutex state struct */
struct cmt_mutex
{
	uint8_t ot;		/**< owning task */
	uint8_t ac;		/**< acquire count */
};

void cmt_delay_ticks(uint32_t d);
uint8_t cmt_setup_task(void (*task_proc)(void), uint32_t task_sp);
void cmt_tick(void);
uint32_t cmt_minsp(uint8_t task_num);

uint8_t cmt_try_acquire(struct cmt_mutex* m);
void cmt_acquire(struct cmt_mutex* m);
void cmt_release(struct cmt_mutex* m);
#endif