tag	line	file	source code
page_fault	56	kernel/traps.c	void page_fault(void);
page_fault	199	kernel/traps.c	set_trap_gate(14,&page_fault);