Searched refs:x86_platform_ipi_callback (Results 1 – 3 of 3) sorted by relevance
89 if (x86_platform_ipi_callback) { in arch_show_interrupts()201 if (x86_platform_ipi_callback) in arch_irq_stat_cpu()271 void (*x86_platform_ipi_callback)(void) = NULL; variable282 if (x86_platform_ipi_callback) in smp_x86_platform_ipi()283 x86_platform_ipi_callback(); in smp_x86_platform_ipi()
34 extern void (*x86_platform_ipi_callback)(void);
365 if (rc || !uv_rtc_evt_enable || x86_platform_ipi_callback) in uv_rtc_setup_clock()373 x86_platform_ipi_callback = uv_rtc_interrupt; in uv_rtc_setup_clock()388 x86_platform_ipi_callback = NULL; in uv_rtc_setup_clock()