Changes in kernel/arch/amd64/include/interrupt.h [7a0359b:22a28a69] in mainline

File:

• kernel/arch/amd64/include/interrupt.h (modified) (3 diffs)

kernel/arch/amd64/include/interrupt.h

@@ -38 +38 @@
 #include <typedefs.h>
 #include <arch/pm.h>
-#include <trace.h>
 
-#define IVT_ITEMS  IDT_ITEMS
-#define IVT_FIRST  0
+#define IVT_ITEMS               IDT_ITEMS
+#define IVT_FIRST               0
 
-#define EXC_COUNT  32
-#define IRQ_COUNT  16
+#define EXC_COUNT               32
+#define IRQ_COUNT               16
 
-#define IVT_EXCBASE   0
-#define IVT_IRQBASE   (IVT_EXCBASE + EXC_COUNT)
-#define IVT_FREEBASE  (IVT_IRQBASE + IRQ_COUNT)
+#define IVT_EXCBASE             0
+#define IVT_IRQBASE             (IVT_EXCBASE + EXC_COUNT)
+#define IVT_FREEBASE            (IVT_IRQBASE + IRQ_COUNT)
 
-#define IRQ_CLK       0
-#define IRQ_KBD       1
-#define IRQ_PIC1      2
-#define IRQ_PIC_SPUR  7
-#define IRQ_MOUSE     12
-#define IRQ_DP8390    9
+#define IRQ_CLK                 0
+#define IRQ_KBD                 1
+#define IRQ_PIC1                2
+#define IRQ_PIC_SPUR            7
+#define IRQ_MOUSE               12
+#define IRQ_DP8390              9
 
-/* This one must have four least significant bits set to ones */
-#define VECTOR_APIC_SPUR  (IVT_ITEMS - 1)
+/* this one must have four least significant bits set to ones */
+#define VECTOR_APIC_SPUR        (IVT_ITEMS - 1)
 
 #if (((VECTOR_APIC_SPUR + 1) % 16) || VECTOR_APIC_SPUR >= IVT_ITEMS)
@@ -64 +63 @@
 #endif
 
-#define VECTOR_DEBUG              1
-#define VECTOR_CLK                (IVT_IRQBASE + IRQ_CLK)
-#define VECTOR_PIC_SPUR           (IVT_IRQBASE + IRQ_PIC_SPUR)
-#define VECTOR_SYSCALL            IVT_FREEBASE
-#define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
-#define VECTOR_DEBUG_IPI          (IVT_FREEBASE + 2)
+#define VECTOR_DEBUG                    1
+#define VECTOR_CLK                      (IVT_IRQBASE + IRQ_CLK)
+#define VECTOR_PIC_SPUR                 (IVT_IRQBASE + IRQ_PIC_SPUR)
+#define VECTOR_SYSCALL                  IVT_FREEBASE
+#define VECTOR_TLB_SHOOTDOWN_IPI        (IVT_FREEBASE + 1)
+#define VECTOR_DEBUG_IPI                (IVT_FREEBASE + 2)
 
 /** This is passed to interrupt handlers */
@@ -87 +86 @@
         uint64_t cs;
         uint64_t rflags;
-        uint64_t stack[];  /* Additional data on stack */
+        uint64_t stack[]; /* Additional data on stack */
 } istate_t;
 
 /** Return true if exception happened while in userspace */
-NO_TRACE static inline int istate_from_uspace(istate_t *istate)
+static inline int istate_from_uspace(istate_t *istate)
 {
         return !(istate->rip & 0x8000000000000000);
 }
 
-NO_TRACE static inline void istate_set_retaddr(istate_t *istate,
-    uintptr_t retaddr)
+static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr)
 {
         istate->rip = retaddr;
 }
-
-NO_TRACE static inline unative_t istate_get_pc(istate_t *istate)
+static inline unative_t istate_get_pc(istate_t *istate)
 {
         return istate->rip;
 }
-
-NO_TRACE static inline unative_t istate_get_fp(istate_t *istate)
+static inline unative_t istate_get_fp(istate_t *istate)
 {
         return istate->rbp;
 }
 
-extern void (* disable_irqs_function)(uint16_t);
-extern void (* enable_irqs_function)(uint16_t);
+extern void (* disable_irqs_function)(uint16_t irqmask);
+extern void (* enable_irqs_function)(uint16_t irqmask);
 extern void (* eoi_function)(void);
 
 extern void interrupt_init(void);
-extern void trap_virtual_enable_irqs(uint16_t);
-extern void trap_virtual_disable_irqs(uint16_t);
+extern void trap_virtual_enable_irqs(uint16_t irqmask);
+extern void trap_virtual_disable_irqs(uint16_t irqmask);
+
+/* AMD64 - specific page handler */
+extern void ident_page_fault(unsigned int, istate_t *);
 
 #endif