Searched refs:timerirq (Results 1 – 2 of 2) sorted by relevance
240 void goldfish_timer_and_rtc_init(uint32_t timerbase, int timerirq) in goldfish_timer_and_rtc_init() argument243 timer_state.dev.irq = timerirq; in goldfish_timer_and_rtc_init()
42 void goldfish_timer_and_rtc_init(uint32_t timerbase, int timerirq);