Symbol: x86_ipi_kpreempt
sys/arch/x86/x86/ipi.c
64
static void x86_ipi_kpreempt(struct cpu_info *);
sys/arch/x86/x86/ipi.c
92
x86_ipi_kpreempt /* X86_IPI_KPREEMPT */