Searched refs:x86_platform_ipi_callback (Results 1 – 4 of 4) sorted by relevance
98 if (x86_platform_ipi_callback) { in arch_show_interrupts()217 if (x86_platform_ipi_callback) in arch_irq_stat_cpu()300 void (*x86_platform_ipi_callback)(void) = NULL; variable311 if (x86_platform_ipi_callback) in DEFINE_IDTENTRY_SYSVEC()312 x86_platform_ipi_callback(); in DEFINE_IDTENTRY_SYSVEC()
355 if (rc || !uv_rtc_evt_enable || x86_platform_ipi_callback) in uv_rtc_setup_clock()363 x86_platform_ipi_callback = uv_rtc_interrupt; in uv_rtc_setup_clock()378 x86_platform_ipi_callback = NULL; in uv_rtc_setup_clock()
36 extern void (*x86_platform_ipi_callback)(void);
82 x86_platform_ipi_callback = numachip_timer_interrupt; in numachip_timer_init()