1 /* See COPYRIGHT for copyright information. */
3 #ifndef JOS_KERN_TRAP_H
4 #define JOS_KERN_TRAP_H
6 # error "This is a JOS kernel header; user programs should not #include it"
12 /* The kernel's interrupt descriptor table */
13 extern struct Gatedesc idt
[];
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
*);
21 #endif /* JOS_KERN_TRAP_H */