Lines Matching defs:config
209 gpt_config_t config;
210 config.vaddr = ps_io_map(&io->opsIO.io_mapper, TIMER_PADDR, 0x1000,
212 config.prescaler = 0;
213 if (!config.vaddr) {
220 s->timerDev = gpt_get_timer(&config);
239 timer_config_t config;
240 config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TIMER_ID],
242 config.irq = dm_timer_irqs[TIMER_ID];
243 if (!config.vaddr) {
248 s->timerDev = ps_get_timer(TIMER_ID, &config);
250 config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TICK_ID],
252 config.irq = dm_timer_irqs[TICK_ID];
253 if (!config.vaddr) {
258 s->tickDev = ps_get_timer(TICK_ID, &config);