Searched refs:timer_get_cfg (Results 1 – 2 of 2) sorted by relevance
29 static inline unsigned long timer_get_cfg(void) in timer_get_cfg() function
39 cfg = timer_get_cfg(); in guest_irq_handler()