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