#ifndef SYS_TASK_MANAGER_H
#define SYS_TASK_MANAGER_H

#include <stdint.h>

void task_manager_init(void);
void task_manager_tick_100us(void);
uint32_t task_manager_take_pending(void);
void task_manager_set(uint32_t task_mask);

#endif /* SYS_TASK_MANAGER_H */