2019-02-11 09:47:28 -06:00
|
|
|
#ifndef TASKING_H
|
|
|
|
|
#define TASKING_H
|
|
|
|
|
|
2019-02-25 15:42:23 -06:00
|
|
|
#include <stdint.h>
|
|
|
|
|
|
2019-02-11 09:47:28 -06:00
|
|
|
void yield();
|
2019-02-11 09:48:50 -06:00
|
|
|
void createTask(void* task);
|
2019-02-25 15:42:23 -06:00
|
|
|
char isPrivleged(uint32_t pid);
|
2019-03-15 18:53:50 -05:00
|
|
|
void send_msg(uint32_t pid,void* msg);
|
|
|
|
|
void* get_msg(uint32_t* sender);
|
2019-02-11 09:47:28 -06:00
|
|
|
|
|
|
|
|
#endif
|
