| /branches/rcu/kernel/arch/ia32xen/include/types.h |
|---|
| 62,6 → 62,7 |
| typedef int32_t native_t; |
| typedef uint8_t bool; |
| typedef uint64_t thread_id_t; |
| typedef uint64_t task_id_t; |
| typedef uint32_t context_id_t; |
| /branches/rcu/kernel/arch/ia32xen/src/ia32xen.c |
|---|
| 211,5 → 211,11 |
| { |
| } |
| void arch_reboot(void) |
| { |
| // TODO |
| while (1); |
| } |
| /** @} |
| */ |
| /branches/rcu/kernel/arch/ia32xen/src/smp/smp.c |
|---|
| 80,13 → 80,13 |
| if (config.cpu_count > 1) { |
| page_mapping_insert(AS_KERNEL, l_apic_address, (uintptr_t) l_apic, |
| PAGE_NOT_CACHEABLE); |
| PAGE_NOT_CACHEABLE | PAGE_WRITE); |
| page_mapping_insert(AS_KERNEL, io_apic_address, (uintptr_t) io_apic, |
| PAGE_NOT_CACHEABLE); |
| PAGE_NOT_CACHEABLE | PAGE_WRITE); |
| l_apic = (uint32_t *) l_apic_address; |
| io_apic = (uint32_t *) io_apic_address; |
| } |
| } |
| } |
| /* |
| /branches/rcu/kernel/arch/ia32xen/src/interrupt.c |
|---|
| 176,14 → 176,21 |
| ASSERT(n >= IVT_IRQBASE); |
| int inum = n - IVT_IRQBASE; |
| bool ack = false; |
| ASSERT(inum < IRQ_COUNT); |
| ASSERT((inum != IRQ_PIC_SPUR) && (inum != IRQ_PIC1)); |
| irq_t *irq = irq_dispatch_and_lock(inum); |
| if (irq) { |
| /* |
| * The IRQ handler was found. |
| */ |
| if (irq->preack) { |
| /* Send EOI before processing the interrupt */ |
| trap_virtual_eoi(); |
| ack = true; |
| } |
| irq->handler(irq, irq->arg); |
| spinlock_unlock(&irq->lock); |
| } else { |
| 194,7 → 201,9 |
| printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
| #endif |
| } |
| trap_virtual_eoi(); |
| if (!ack) |
| trap_virtual_eoi(); |
| } |
| void interrupt_init(void) |