kern/trap.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef JOS_KERN_TRAP_H
   4 #define JOS_KERN_TRAP_H
   5 #ifndef JOS_KERNEL
   6 # error "This is a JOS kernel header; user programs should not #include it"
   7 #endif
   8
   9 #include <inc/trap.h>
  10 #include <inc/mmu.h>
  11
  12 /* The kernel's interrupt descriptor table */
  13 extern struct Gatedesc idt[];
  14
  15 void idt_init(void);
  16 void print_regs(struct PushRegs *regs);
  17 void print_trapframe(struct Trapframe *tf);
  18 void page_fault_handler(struct Trapframe *);
  19 void backtrace(struct Trapframe *);
  20
  21 #endif /* JOS_KERN_TRAP_H */