| /trunk/kernel/arch/arm32/src/drivers/gxemul.c |
|---|
| 187,9 → 187,6 |
| */ |
| static void gxemul_irq_handler(irq_t *irq) |
| { |
| if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox)) { |
| ipc_irq_send_notif(irq); |
| } else { |
| char ch = 0; |
| ch = *((char *) gxemul_hw_map.kbd); |
| 201,7 → 198,6 |
| } |
| chardev_push_character(&console, ch); |
| } |
| } |
| static irq_ownership_t gxemul_claim(irq_t *irq) |
| { |