taglinefilesource code
page_fault56kernel/traps.cvoid page_fault(void);
page_fault199kernel/traps.cset_trap_gate(14,&page_fault);