| 42,7 → 42,7 |
|---|
| #include <ipc/sysipc.h> |
| #include <arch/asm.h> |
| #include <arch/barrier.h> |
| |
| #include <print.h> |
| #include <genarch/kbd/z8530.h> |
| |
| /** Register Interrupt Level Handler. |
| 61,7 → 61,9 |
|---|
| /* Reregister irq to be IPC-ready */ |
| void irq_ipc_bind_arch(unative_t irq) |
| { |
| /* TODO */ |
| #ifdef CONFIG_Z8530 |
| z8530_belongs_to_kernel = false; |
| #endif |
| } |
| |
| void interrupt(int n, istate_t *istate) |
| 82,9 → 84,14 |
|---|
| * we cannot handle it by scheduling one of the level |
| * interrupt traps. Call the interrupt handler directly. |
| */ |
| |
| if (z8530_belongs_to_kernel) |
| z8530_interrupt(); |
| else |
| ipc_irq_send_notif(0); |
| fhc_uart_reset(); |
| z8530_interrupt(); |
| break; |
| |
| #endif |
| } |
| |