Symbol: IPI_DDB
sys/arch/powerpc64/include/intr.h
101
#define IPI_DDB (1 << 0)
sys/arch/riscv64/include/intr.h
200
#define IPI_DDB (1 << 0)