-intr_routine_page_fault (const isr_param* param)
-{
- void* pg_fault_ptr = cpu_rcr2();
- if (!pg_fault_ptr) {
- __print_panic_msg("Null pointer reference", param);
- } else {
- char buf[32];
- sprintf(buf, "Page fault on %p", pg_fault_ptr);
- __print_panic_msg(buf, param);
- }
- spin();
-}
-
-void
-intr_routine_sys_panic (const isr_param* param)