Searched refs:TIMER_ID (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c59 #define TIMER_ID DMTIMER2 macro
240 config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TIMER_ID],
242 config.irq = dm_timer_irqs[TIMER_ID];
248 s->timerDev = ps_get_timer(TIMER_ID, &config);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c59 #define TIMER_ID DMTIMER2 macro
240 config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TIMER_ID],
242 config.irq = dm_timer_irqs[TIMER_ID];
248 s->timerDev = ps_get_timer(TIMER_ID, &config);

Completed in 77 milliseconds