Symbol: x86_ipi_ast
sys/arch/x86/x86/ipi.c
62
static void x86_ipi_ast(struct cpu_info *);
sys/arch/x86/x86/ipi.c
85
x86_ipi_ast, /* X86_IPI_AST */