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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c223 epit_config_t econfig; local
224 econfig.vaddr = ps_io_map(&io->opsIO.io_mapper, TICK_TIMER_PADDR, 0x1000,
226 econfig.prescaler = 0;
227 econfig.irq = TICK_TIMER_IRQ;
228 if (!econfig.vaddr) {
235 s->tickDev = epit_get_timer(&econfig);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c223 epit_config_t econfig; local
224 econfig.vaddr = ps_io_map(&io->opsIO.io_mapper, TICK_TIMER_PADDR, 0x1000,
226 econfig.prescaler = 0;
227 econfig.irq = TICK_TIMER_IRQ;
228 if (!econfig.vaddr) {
235 s->tickDev = epit_get_timer(&econfig);

Completed in 116 milliseconds