taglinefilesource code
page_fault82arch/i386/kernel/traps.casmlinkage void page_fault(void);
page_fault378arch/i386/kernel/traps.cset_trap_gate(14,&page_fault);