From 9566e13a7f95c909d687b937698a6179c0d3f8d0 Mon Sep 17 00:00:00 2001
From: babbleberry <adam@greenwoodbyrne.com>
Date: Tue, 6 Feb 2024 12:01:39 +0000
Subject: [PATCH] Added irq_barrier to part13-interrupts just to be sure

---
 part13-interrupts/kernel/kernel.c | 1 +
 part13-interrupts/kernel/kernel.h | 1 +
 part13-interrupts/kernel/utils.S  | 5 +++++
 3 files changed, 7 insertions(+)

diff --git a/part13-interrupts/kernel/kernel.c b/part13-interrupts/kernel/kernel.c
index c134c5e..4c6d4a6 100644
--- a/part13-interrupts/kernel/kernel.c
+++ b/part13-interrupts/kernel/kernel.c
@@ -120,6 +120,7 @@ void main(void)
 
     irq_init_vectors();
     enable_interrupt_controller();
+    irq_barrier();
     irq_enable();
     timer_init();
 
diff --git a/part13-interrupts/kernel/kernel.h b/part13-interrupts/kernel/kernel.h
index 0796c2a..a360da1 100644
--- a/part13-interrupts/kernel/kernel.h
+++ b/part13-interrupts/kernel/kernel.h
@@ -38,6 +38,7 @@ enum vc_irqs {
 
 void irq_init_vectors();
 void irq_enable();
+void irq_barrier();
 void irq_disable();
 void enable_interrupt_controller();
 void disable_interrupt_controller();
diff --git a/part13-interrupts/kernel/utils.S b/part13-interrupts/kernel/utils.S
index 6027c0d..7a34152 100644
--- a/part13-interrupts/kernel/utils.S
+++ b/part13-interrupts/kernel/utils.S
@@ -13,3 +13,8 @@ irq_enable:
 irq_disable:
     msr daifset, #2
     ret
+
+.globl irq_barrier
+irq_barrier:
+    dsb sy
+    ret