From 3a366988a0077474075d8f33ad76514d2fa0c5d6 Mon Sep 17 00:00:00 2001
From: Christian Cunningham <cc@localhost>
Date: Fri, 24 Dec 2021 15:21:54 -0800
Subject: Standardized Formatting

---
 src/cpu/irq.c | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'src/cpu/irq.c')

diff --git a/src/cpu/irq.c b/src/cpu/irq.c
index f2b326e..1654828 100644
--- a/src/cpu/irq.c
+++ b/src/cpu/irq.c
@@ -8,10 +8,9 @@
 
 extern unsigned long cmdidx;
 extern char cmd[2048];
-extern void disable_irq(void);
-extern void enable_irq(void);
 
-void c_irq_handler(void) {
+void c_irq_handler(void)
+{
 	disableirq();
 	unsigned long source = load32(CORE0_IRQ_SOURCE);
 	if (source & (1 << 8)) {
@@ -56,12 +55,12 @@ void c_irq_handler(void) {
 						} else if (data == 0x6C) {
 							cmd[off] = (char) data;
 							off += 1;
-							lock_mutex(&exe_cnt_m, SCHED_PID);
+							lock_mutex(&exe_cnt_m, SYS_PID);
 						// Release Case
 						} else if (data == 0x72) {
 							cmd[off] = (char) data;
 							off += 1;
-							release_mutex(&exe_cnt_m, SCHED_PID);
+							release_mutex(&exe_cnt_m, SYS_PID);
 						// Else output
 						} else {
 							cmd[off] = (char) data;
-- 
cgit v1.2.1