Symbol: X86_IPI_DDB
sys/arch/amd64/amd64/db_interface.c
314
x86_send_ipi(cpu_info[i], X86_IPI_DDB);
sys/arch/amd64/amd64/db_interface.c
384
x86_send_ipi(cpu_info[cpu], X86_IPI_DDB);