Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 3787 → Rev 3788

/trunk/kernel/arch/amd64/src/mm/page.c
194,7 → 194,7
 
decode_istate(n, istate);
printf("Page fault address: %llx\n", page);
panic("page fault\n");
panic("Page fault\n");
}
}
 
/trunk/kernel/arch/amd64/src/interrupt.c
100,9 → 100,9
 
static void null_interrupt(int n, istate_t *istate)
{
fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
decode_istate(n, istate);
panic("unserviced interrupt\n");
panic("Unserviced interrupt\n");
}
 
/** General Protection Fault. */
126,18 → 126,18
io_perm_bitmap_install();
return;
}
fault_if_from_uspace(istate, "general protection fault");
fault_if_from_uspace(istate, "General protection fault");
}
 
decode_istate(n, istate);
panic("general protection fault\n");
panic("General protection fault\n");
}
 
static void ss_fault(int n, istate_t *istate)
{
fault_if_from_uspace(istate, "stack fault");
fault_if_from_uspace(istate, "Stack fault");
decode_istate(n, istate);
panic("stack fault\n");
panic("Stack fault\n");
}
 
static void nm_fault(int n, istate_t *istate)
145,8 → 145,8
#ifdef CONFIG_FPU_LAZY
scheduler_fpu_lazy_request();
#else
fault_if_from_uspace(istate, "fpu fault");
panic("fpu fault");
fault_if_from_uspace(istate, "FPU fault");
panic("FPU fault");
#endif
}