/kernel/trunk/arch/ia32/src/interrupt.c |
---|
144,7 → 144,7 |
__address page; |
page = read_cr2(); |
if (!as_page_fault(page)) { |
if (as_page_fault(page, istate) == AS_PF_FAULT) { |
PRINT_INFO_ERRCODE(istate); |
printf("page fault address: %#x\n", page); |
panic("page fault\n"); |