| /kernel/trunk/arch/amd64/src/interrupt.c |
|---|
| 79,7 → 79,6 |
| void null_interrupt(int n, istate_t *istate) |
| { |
| fault_if_from_uspace(istate, "unserviced interrupt: %d", n); |
| print_info_errcode(n, istate); |
| panic("unserviced interrupt\n"); |
| } |
| 105,7 → 104,6 |
| io_perm_bitmap_install(); |
| return; |
| } |
| fault_if_from_uspace(istate, "general protection fault"); |
| } |
| print_info_errcode(n, istate); |
| 114,7 → 112,6 |
| void ss_fault(int n, istate_t *istate) |
| { |
| fault_if_from_uspace(istate, "stack fault"); |
| print_info_errcode(n, istate); |
| panic("stack fault\n"); |
| } |
| 124,7 → 121,6 |
| #ifdef CONFIG_FPU_LAZY |
| scheduler_fpu_lazy_request(); |
| #else |
| fault_if_from_uspace(istate, "fpu fault"); |
| panic("fpu fault"); |
| #endif |
| } |
| /kernel/trunk/arch/amd64/src/mm/page.c |
|---|
| 183,8 → 183,6 |
| access = PF_ACCESS_READ; |
| if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
| fault_if_from_uspace(istate, "Page fault: %#x", page); |
| print_info_errcode(n, istate); |
| printf("Page fault address: %llX\n", page); |
| panic("page fault\n"); |
| /kernel/trunk/arch/amd64/include/interrupt.h |
|---|
| 86,20 → 86,10 |
| __u64 stack[]; /* Additional data on stack */ |
| }; |
| /** Return true if exception happened while in userspace */ |
| static inline int istate_from_uspace(istate_t *istate) |
| { |
| return !(istate->rip & 0x8000000000000000); |
| } |
| static inline void istate_set_retaddr(istate_t *istate, __address retaddr) |
| { |
| istate->rip = retaddr; |
| } |
| static inline __native istate_get_pc(istate_t *istate) |
| { |
| return istate->rip; |
| } |
| extern void (* disable_irqs_function)(__u16 irqmask); |
| extern void (* enable_irqs_function)(__u16 irqmask); |