diff options
| author | Xander <xander@biltopia.org> | 2023-07-13 00:26:49 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-13 00:26:49 +0200 |
| commit | e02a7e790650b31b713dde5c39ad6172c048f571 (patch) | |
| tree | e06f29fbff44f9dcb44dc4c0c30dd58484069785 /kernel/interrupts/idt.dats | |
| parent | f44cb1fd2e58f0233dccdf8a1fac84e310857e7e (diff) | |
| download | ats-os-e02a7e790650b31b713dde5c39ad6172c048f571.tar.xz ats-os-e02a7e790650b31b713dde5c39ad6172c048f571.zip | |
int to string conversion implementation
Diffstat (limited to 'kernel/interrupts/idt.dats')
| -rw-r--r-- | kernel/interrupts/idt.dats | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/interrupts/idt.dats b/kernel/interrupts/idt.dats index ba6bb20..851a2b0 100644 --- a/kernel/interrupts/idt.dats +++ b/kernel/interrupts/idt.dats @@ -64,7 +64,7 @@ var idt : @[idt_entry_t][IDT_MAX_DESCRIPTORS] // The table var idtr : idtr_t // interrupt descriptor table register instance fun idt_set_descriptor {n : nat | n < IDT_MAX_DESCRIPTORS} (vector: int n, isr: uint64, flags: uint8) : void = let - extern praxi __assert{l:addr} (ptr: ptr (l)): vtakeout0 (@[idt_entry_t][IDT_MAX_DESCRIPTORS]@l) + extern praxi __assert{l:addr} (ptr: ptr (l)): vtakeout0 (@[idt_entry_t][IDT_MAX_DESCRIPTORS]@l) // takeout proof UNSAFE: prval (pf, fpf) = __assert (addr@(idt)) val x = $UN.cast{uint64}(0xFFFF) val y = $UN.cast{uint64}(0xFFFFFFF) @@ -118,7 +118,7 @@ end implement idt_init() : void = let extern praxi __assert{l:addr} (ptr: ptr (l)): vtakeout0 (idtr_t@l) - prval (pf, fpf) = __assert (addr@(idtr)) + prval (pf, fpf) = __assert (addr@(idtr)) // takeout proof UNSAFE: in idtr.base := addr@(idt); idtr.limit := $UN.cast(8 * IDT_MAX_DESCRIPTORS); |