IPI_VECTOR_DDB
x = IPI_VECTOR_DDB;
if (irq == IPI_VECTOR_NOP || irq == IPI_VECTOR_DDB) {
if (irq == IPI_VECTOR_DDB)