Searched refs:irqConfig (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c66 dev_irq_config_t irqConfig = { local
77 dev_irq_init(&timeServ.irqState, irqConfig);
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c66 dev_irq_config_t irqConfig = { local
77 dev_irq_init(&timeServ.irqState, irqConfig);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c106 dev_irq_config_t irqConfig = { local
117 dev_irq_init(&conServ.irqState, irqConfig);
/seL4-refos-master/apps/console_server/src/
H A Dstate.c106 dev_irq_config_t irqConfig = { local
117 dev_irq_init(&conServ.irqState, irqConfig);

Completed in 78 milliseconds