Searched refs:__vmintop_post (Results 1 – 2 of 2) sorted by relevance
182 static inline long __vmintop_post(long i) in __vmintop_post() function
122 retval = __vmintop_post(BASE_IPI_IRQ+cpu); in send_ipi()