Searched refs:uv_rtc_send_IPI (Results 1 – 1 of 1) sorted by relevance
71 static void uv_rtc_send_IPI(int cpu) in uv_rtc_send_IPI() function189 uv_rtc_send_IPI(c); in uv_rtc_find_next_timer()