parent
f48bfd5db9
commit
6d12f4eba7
|
@ -303,8 +303,8 @@ extern "C" void init_kernel_multiprocessor()
|
||||||
t.init(processor, core_pd(), &utcb, 1);
|
t.init(processor, core_pd(), &utcb, 1);
|
||||||
|
|
||||||
/* initialize interrupt objects */
|
/* initialize interrupt objects */
|
||||||
static Genode::uint8_t _irqs[Pic::MAX_INTERRUPT_ID * sizeof(Irq)];
|
static Genode::uint8_t _irqs[(Pic::MAX_INTERRUPT_ID+1) * sizeof(Irq)];
|
||||||
for (unsigned i = 0; i < Pic::MAX_INTERRUPT_ID; i++) {
|
for (unsigned i = 0; i <= Pic::MAX_INTERRUPT_ID; i++) {
|
||||||
if (private_interrupt(i)) { continue; }
|
if (private_interrupt(i)) { continue; }
|
||||||
new (&_irqs[i * sizeof(Irq)]) Irq(i);
|
new (&_irqs[i * sizeof(Irq)]) Irq(i);
|
||||||
}
|
}
|
||||||
|
|
|
@ -132,7 +132,7 @@ Platform::Platform()
|
||||||
_core_only_ram_regions, get_page_size_log2());
|
_core_only_ram_regions, get_page_size_log2());
|
||||||
|
|
||||||
/* make interrupts available to the interrupt allocator */
|
/* make interrupts available to the interrupt allocator */
|
||||||
for (unsigned i = 0; i < Kernel::Pic::MAX_INTERRUPT_ID; i++)
|
for (unsigned i = 0; i <= Kernel::Pic::MAX_INTERRUPT_ID; i++)
|
||||||
_irq_alloc.add_range(i, 1);
|
_irq_alloc.add_range(i, 1);
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
|
Loading…
Reference in New Issue
Block a user