| /branches/rcu/kernel/arch/mips32/src/drivers/serial.c |
|---|
| 38,6 → 38,7 |
| #include <arch/drivers/serial.h> |
| #include <console/chardev.h> |
| #include <console/console.h> |
| #include <synch/rcu.h> |
| #define SERIAL_IRQ 2 |
| 112,7 → 113,7 |
| /** Process keyboard interrupt. Does not work in simics? */ |
| static void serial_irq_handler(irq_t *irq, void *arg, ...) |
| { |
| if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox)) |
| if ((rcu_dereference_pointer(irq->notif_cfg).notify) && (rcu_dereference_pointer(irq->notif_cfg).answerbox)) |
| ipc_irq_send_notif(irq); |
| else |
| serial_handler(); |