extern void double_fault(struct abort_frame *frame);
extern void keyb_handler(struct interrupt_frame *frame);
extern void pf_handler(struct fault_frame *frame);
extern void double_fault(struct abort_frame *frame);
extern void keyb_handler(struct interrupt_frame *frame);
extern void pf_handler(struct fault_frame *frame);