Searched refs:guest_exit_irqoff (Results 1 – 1 of 1) sorted by relevance
517 static __always_inline void guest_exit_irqoff(void) in guest_exit_irqoff() function528 guest_exit_irqoff(); in guest_exit()