Searched defs:x86_platform_ipi_callback (Results 1 - 1 of 1) sorted by path

/linux-master/arch/x86/kernel/
H A Dirq.c293 void (*x86_platform_ipi_callback)(void) = NULL; variable

Completed in 144 milliseconds