tag	line	file	source code
page_fault	58	kernel/traps.c	extern "C" void page_fault(void);
page_fault	243	kernel/traps.c	set_trap_gate(14,&page_fault);