Searched refs:uv_rtc_interrupt (Results 1 – 1 of 1) sorted by relevance
333 static void uv_rtc_interrupt(void) in uv_rtc_interrupt() function386 x86_platform_ipi_callback = uv_rtc_interrupt; in uv_rtc_setup_clock()