IPI_DDB - NetBSD

Symbol: IPI_DDB

sys/arch/arm/pic/picvar.h

#define IPI_DDB 4 /* enter DDB */

sys/arch/vax/include/cpu.h

#define IPI_DDB 5 /* Jump into the DDB loop */

sys/rump/include/machine/cpu.h

#define IPI_DDB 0