Searched refs:x86_platform_ipi_callback (Results 1 – 3 of 3) sorted by relevance
28 void (*x86_platform_ipi_callback)(void) = NULL; variable86 if (x86_platform_ipi_callback) { in arch_show_interrupts()156 if (x86_platform_ipi_callback) in arch_irq_stat_cpu()225 if (x86_platform_ipi_callback) in __smp_x86_platform_ipi()226 x86_platform_ipi_callback(); in __smp_x86_platform_ipi()
33 extern void (*x86_platform_ipi_callback)(void);
389 if (rc || !uv_rtc_evt_enable || x86_platform_ipi_callback) in uv_rtc_setup_clock()397 x86_platform_ipi_callback = uv_rtc_interrupt; in uv_rtc_setup_clock()410 x86_platform_ipi_callback = NULL; in uv_rtc_setup_clock()