IPI_VECTOR_NOP
static int ipi_irq = IPI_VECTOR_NOP;
x = IPI_VECTOR_NOP;
if (irq == IPI_VECTOR_NOP || irq == IPI_VECTOR_DDB) {