C++ (Cpp) timer_handle_irq Examples

Example #1

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

File: odroid_clock_driver.c Project: smaccm/phase2

void clock_irq_callback() {
    /* Hardware routine. */
    ticks++;
    timer_handle_irq(timer_drv, PWM_T4_INTERRUPT);

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