/trunk/kernel/arch/ia64/src/drivers/it.c |
---|
56,6 → 56,8 |
{ |
cr_itv_t itv; |
if(config.cpu_active==1) |
{ |
irq_initialize(&it_irq); |
it_irq.inr = INTERRUPT_TIMER; |
it_irq.devno = device_assign_devno(); |
62,6 → 64,7 |
it_irq.claim = it_claim; |
it_irq.handler = it_interrupt; |
irq_register(&it_irq); |
} |
/* initialize Interval Timer external interrupt vector */ |
itv.value = itv_read(); |