diff options
author | vetch <vetch97@gmail.com> | 2020-01-04 19:37:32 +0100 |
---|---|---|
committer | vetch <vetch97@gmail.com> | 2020-01-04 19:37:32 +0100 |
commit | 615e3302c9dd358bb64cd56d1f3814ad8d5df84d (patch) | |
tree | 07b0469807eb3bff7ff7d3f3576858642bc66675 /scheduler.h | |
parent | 885a097da42317f48cead2d91c0e0240066943a8 (diff) | |
download | rpi-MMU-example-615e3302c9dd358bb64cd56d1f3814ad8d5df84d.tar.gz rpi-MMU-example-615e3302c9dd358bb64cd56d1f3814ad8d5df84d.zip |
rearranged files, updated makefile
Diffstat (limited to 'scheduler.h')
-rw-r--r-- | scheduler.h | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/scheduler.h b/scheduler.h deleted file mode 100644 index 8c0f569..0000000 --- a/scheduler.h +++ /dev/null @@ -1,32 +0,0 @@ -#ifndef SCHEDULER_H -#define SCHEDULER_H - -#include <stdint.h> - -#include "psr.h" - -extern PSR_t PL1_PSR; - -void setup_scheduler_structures(void); - -// to be called by irq handler when respective uart interrupt happens -void scheduler_try_output(void); - -// to be called by irq handler when respective uart interrupt happens -void scheduler_try_input(void); - -void __attribute__((noreturn)) -schedule_wait_for_output(uint32_t regs[14], char c); - -void __attribute__((noreturn)) -schedule_wait_for_input(uint32_t regs[14]); - -void __attribute__((noreturn)) -schedule_save_context(uint32_t regs[14]); - -void __attribute__((noreturn)) schedule(void); - -void __attribute__((noreturn)) -schedule_new(uint32_t pc, uint32_t sp); - -#endif |