| 67,11 → 67,19 |
|---|
| */ |
| void interrupt(int n, istate_t *istate) |
| { |
| uint64_t status; |
| uint64_t intrcv; |
| uint64_t data0; |
| status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0); |
| if (status & (!INTR_DISPATCH_STATUS_BUSY)) |
| panic("Interrupt Dispatch Status busy bit not set\n"); |
| |
| intrcv = asi_u64_read(ASI_INTR_RECEIVE, 0); |
| data0 = asi_u64_read(ASI_UDB_INTR_R, ASI_UDB_INTR_R_DATA_0); |
| #if defined (US) |
| data0 = asi_u64_read(ASI_INTR_R, ASI_UDB_INTR_R_DATA_0); |
| #elif defined (US3) |
| data0 = asi_u64_read(ASI_INTR_R, VA_INTR_R_DATA_0); |
| #endif |
| |
| irq_t *irq = irq_dispatch_and_lock(data0); |
| if (irq) { |
| 79,6 → 87,12 |
|---|
| * The IRQ handler was found. |
| */ |
| irq->handler(irq, irq->arg); |
| /* |
| * See if there is a clear-interrupt-routine and call it. |
| */ |
| if (irq->cir) { |
| irq->cir(irq->cir_arg, irq->inr); |
| } |
| spinlock_unlock(&irq->lock); |
| } else if (data0 > config.base) { |
| /* |
| 98,7 → 112,7 |
|---|
| */ |
| #ifdef CONFIG_DEBUG |
| printf("cpu%u: spurious interrupt (intrcv=%#" PRIx64 |
| ", data0=%#" PRIx64 ")\n", CPU->id, intrcv, data0); |
| ", data0=%#" PRIx64 ")\n", CPU->id, intrcv, data0); |
| #endif |
| } |
| |