Example #1
0
File: pit.c Project: BwRy/seL4_libs
static void
pit_handle_irq(seL4_timer_t *timer, UNUSED uint32_t irq)
{
    seL4_pit_data_t *data = (seL4_pit_data_t*) timer->data;
    timer_handle_irq(timer->timer, irq);
    seL4_IRQHandler_Ack(data->irq);
    /* pit handle irq actually does nothing */
}
Example #2
0
void clock_irq_callback() {
    /* Hardware routine. */
    ticks++;
    timer_handle_irq(timer_drv, PWM_T4_INTERRUPT);

    /* Signal other components (currently unimplemented) */
    /* timer_update_emit(); */
}