From 615e3302c9dd358bb64cd56d1f3814ad8d5df84d Mon Sep 17 00:00:00 2001 From: vetch Date: Sat, 4 Jan 2020 19:37:32 +0100 Subject: rearranged files, updated makefile --- scheduler.h | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 scheduler.h (limited to 'scheduler.h') 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 - -#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 -- cgit v1.2.3