From 0532ef26472261178d87f188f1264a3697a49dac Mon Sep 17 00:00:00 2001
From: Test_User <hax@andrewyu.org>
Date: Sun, 11 Jun 2023 17:34:07 -0400
Subject: Add config-related instructions, specify what happens if an IRQ that
 isn't handled is given

---
 cpu/instructions/config/set_edt.txt  | 11 +++++++++++
 cpu/instructions/config/set_gdt.txt  | 11 +++++++++++
 cpu/instructions/config/set_irqt.txt | 11 +++++++++++
 cpu/instructions/config/set_tdt.txt  | 11 +++++++++++
 cpu/interrupts/execution.txt         |  3 +++
 5 files changed, 47 insertions(+)
 create mode 100644 cpu/instructions/config/set_edt.txt
 create mode 100644 cpu/instructions/config/set_gdt.txt
 create mode 100644 cpu/instructions/config/set_irqt.txt
 create mode 100644 cpu/instructions/config/set_tdt.txt

diff --git a/cpu/instructions/config/set_edt.txt b/cpu/instructions/config/set_edt.txt
new file mode 100644
index 0000000..29e13aa
--- /dev/null
+++ b/cpu/instructions/config/set_edt.txt
@@ -0,0 +1,11 @@
+Number of parameters: 2
+
+Usage:
+	set_edt <ptr> <size>
+
+Effect:
+	Sets the edt to start at <ptr> and be <size> bytes long
+	<ptr> is the physical address
+
+Exceptions:
+	None
diff --git a/cpu/instructions/config/set_gdt.txt b/cpu/instructions/config/set_gdt.txt
new file mode 100644
index 0000000..781dc4a
--- /dev/null
+++ b/cpu/instructions/config/set_gdt.txt
@@ -0,0 +1,11 @@
+Number of parameters: 2
+
+Usage:
+	set_gdt <ptr> <size>
+
+Effect:
+	Sets the gdt to start at <ptr> and be <size> bytes long
+	<ptr> is the physical address
+
+Exceptions:
+	None
diff --git a/cpu/instructions/config/set_irqt.txt b/cpu/instructions/config/set_irqt.txt
new file mode 100644
index 0000000..ba4be38
--- /dev/null
+++ b/cpu/instructions/config/set_irqt.txt
@@ -0,0 +1,11 @@
+Number of parameters: 2
+
+Usage:
+	set_irqt <ptr> <size>
+
+Effect:
+	Sets the irqt to start at <ptr> and be <size> bytes long
+	<ptr> is the physical address
+
+Exceptions:
+	None
diff --git a/cpu/instructions/config/set_tdt.txt b/cpu/instructions/config/set_tdt.txt
new file mode 100644
index 0000000..57b94d4
--- /dev/null
+++ b/cpu/instructions/config/set_tdt.txt
@@ -0,0 +1,11 @@
+Number of parameters: 2
+
+Usage:
+	set_tdt <ptr> <size>
+
+Effect:
+	Sets the tdt to start at <ptr> and be <size> bytes long
+	<ptr> is the physical address
+
+Exceptions:
+	None
diff --git a/cpu/interrupts/execution.txt b/cpu/interrupts/execution.txt
index dcff30e..7d19dc1 100644
--- a/cpu/interrupts/execution.txt
+++ b/cpu/interrupts/execution.txt
@@ -8,3 +8,6 @@ The next interrupt will not occur until after the current processing has been fi
 When returning via ireth:
 	PR is set to OPRI
 	Execution jumps to OIPI
+
+If an interrupt is triggered for an index not handled, it will be redirected to irq 0
+If irq 0 is not handled, it will be silently dropped
-- 
cgit v1.2.3