| /branches/rcu/kernel/arch/ppc32/src/mm/as.c |
|---|
| 54,12 → 54,8 |
| void as_install_arch(as_t *as) |
| { |
| asid_t asid; |
| ipl_t ipl; |
| uint32_t sr; |
| ipl = interrupts_disable(); |
| spinlock_lock(&as->lock); |
| asid = as->asid; |
| /* Lower 2 GB, user and supervisor access */ |
| 79,9 → 75,6 |
| : "r" ((0x4000 << 16) + (asid << 4) + sr), "r" (sr << 28) |
| ); |
| } |
| spinlock_unlock(&as->lock); |
| interrupts_restore(ipl); |
| } |
| /** @} |
| /branches/rcu/kernel/arch/ppc32/src/interrupt.c |
|---|
| 60,19 → 60,11 |
| int inum; |
| while ((inum = pic_get_pending()) != -1) { |
| bool ack = false; |
| irq_t *irq = irq_dispatch_and_lock(inum); |
| if (irq) { |
| /* |
| * The IRQ handler was found. |
| */ |
| if (irq->preack) { |
| /* Acknowledge the interrupt before processing */ |
| pic_ack_interrupt(inum); |
| ack = true; |
| } |
| irq->handler(irq, irq->arg); |
| spinlock_unlock(&irq->lock); |
| } else { |
| 83,8 → 75,6 |
| printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
| #endif |
| } |
| if (!ack) |
| pic_ack_interrupt(inum); |
| } |
| } |