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/util/mutex.c | 10 +++++-----
 src/util/time.c  |  1 -
 2 files changed, 5 insertions(+), 6 deletions(-)

(limited to 'src/util')

diff --git a/src/util/mutex.c b/src/util/mutex.c
index 9cfdf6c..2637a6c 100644
--- a/src/util/mutex.c
+++ b/src/util/mutex.c
@@ -1,9 +1,9 @@
-#include "../util/mutex.h"
 #include "../cpu/atomic/swap.h"
+#include "../util/mutex.h"
 
-unsigned char lock_mutex(struct Mutex* m, unsigned long pid) {
+unsigned char lock_mutex(struct Mutex* m, unsigned long pid)
+{
 	if (m->pid == NULL_PID) {
-		//m->pid = pid;
 		atm_lock(pid, &m->pid);
 		return 0;
 	}
@@ -13,9 +13,9 @@ unsigned char lock_mutex(struct Mutex* m, unsigned long pid) {
 // Eventually, there will need to be a hook into the scheduling mechanism
 //  that checks the currently running process and check that against the
 //  mutex's pid lock
-unsigned char release_mutex(struct Mutex* m, unsigned long pid) {
+unsigned char release_mutex(struct Mutex* m, unsigned long pid)
+{
 	if (m->pid == pid) {
-		//m->pid = NULL_PID;
 		atm_release(&m->pid);
 		return 0;
 	}
diff --git a/src/util/time.c b/src/util/time.c
index 3db2cad..f6d8f04 100644
--- a/src/util/time.c
+++ b/src/util/time.c
@@ -2,7 +2,6 @@
 
 void routing_core0cntv_to_core0irq(void)
 {
-	// IRQ
 	store32(0x08, CORE0_TIMER_IRQCNTL);
 }
 
-- 
cgit v1.2.1