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

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

Completed in 83 milliseconds