i386/standford/2004/src/lab4/kern/trap.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef _KERN_TRAP_H_
   4 #define _KERN_TRAP_H_
   5
   6 #include <inc/trap.h>
   7 #include <inc/mmu.h>
   8
   9
  10 /* The user trap frame is always at the top of the kernel stack */
  11 #define UTF     ((struct Trapframe*)(KSTACKTOP-sizeof(struct Trapframe)))
  12
  13 /* The kernel's interrupt descriptor table */
  14 extern struct Gatedesc idt[];
  15
  16 /*
  17  * Page fault modes inside kernel.
  18  */
  19 #define PFM_NONE 0x0     // No page faults expected.  Must be a kernel bug
  20 #define PFM_KILL 0x1     // On fault kill user process.
  21
  22 extern u_int page_fault_mode;
  23
  24
  25 void idt_init(void);
  26 void print_trapframe(struct Trapframe *tf);
  27 void page_fault_handler(struct Trapframe *);
  28 void backtrace(struct Trapframe *);
  29
  30 #endif /* _KERN_TRAP_H_ */