/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(); |