Searched refs:timer_irq_enable (Results 1 – 2 of 2) sorted by relevance
40 static inline void timer_irq_enable(void) in timer_irq_enable() function
52 timer_irq_enable(); in guest_run()