diff options
| author | Test_User <hax@andrewyu.org> | 2023-06-11 17:34:07 -0400 |
|---|---|---|
| committer | Test_User <hax@andrewyu.org> | 2023-06-11 17:34:07 -0400 |
| commit | 0532ef26472261178d87f188f1264a3697a49dac (patch) | |
| tree | f5c4543e20d7cda114750909ee8665fed0b32637 | |
| parent | 56b6e947440b68b01b7018ab2e2bfd6ec22633e1 (diff) | |
| download | specification-0532ef26472261178d87f188f1264a3697a49dac.tar.gz specification-0532ef26472261178d87f188f1264a3697a49dac.zip | |
Add config-related instructions, specify what happens if an IRQ that isn't handled is given
| -rw-r--r-- | cpu/instructions/config/set_edt.txt | 11 | ||||
| -rw-r--r-- | cpu/instructions/config/set_gdt.txt | 11 | ||||
| -rw-r--r-- | cpu/instructions/config/set_irqt.txt | 11 | ||||
| -rw-r--r-- | cpu/instructions/config/set_tdt.txt | 11 | ||||
| -rw-r--r-- | cpu/interrupts/execution.txt | 3 |
5 files changed, 47 insertions, 0 deletions
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 |