2 files changed, 4 insertions, 4 deletions
diff --git a/src/include/idt.h b/src/include/idt.h
index b8413b8..78d736b 100644
--- a/src/include/idt.h
+++ b/src/include/idt.h
@@ -9,9 +9,6 @@ typedef struct Gate_Descriptor {
     uint16_t offset_high;
 } __attribute__((packed)) Gate_Descriptor_t;
 
-typedef Gate_Descriptor_t *IDT_t;
-
-Gate_Descriptor_t make_gate(uint32_t offset, uint8_t segment_selector,
-                            uint8_t attrs);
+void make_gate(uint32_t offset, uint8_t attrs, uint8_t vec);
 
 void get_idtr();
diff --git a/src/include/kernel.h b/src/include/kernel.h
new file mode 100644
index 0000000..2310647
--- /dev/null
+++ b/src/include/kernel.h
@@ -0,0 +1,3 @@
+#pragma once
+
+void kernel_panic(const char *);