/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
235,6 → 235,9 |
//clock(); |
puts(" "); |
spinlock_lock(&irq->lock); |
/* acknowledge tick */ |
*(uint32_t*) GXEMUL_RTC_ACK = 0; |
/* TODO what's that? * |
if (virtual_timer_fnc != NULL) |
252,6 → 255,7 |
gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ; |
gxemul_timer_irq.claim = gxemul_timer_claim; |
gxemul_timer_irq.handler = gxemul_timer_irq_handler; |
irq_register(&gxemul_timer_irq); |
} |