DEBUG_RESTART
if (DEBUG_FLAGS & DEBUG_RESTART)
if (DEBUG_FLAGS & DEBUG_RESTART) kprintf (" t%d", i);
if (DEBUG_FLAGS & DEBUG_RESTART) kprintf ("+");
if (DEBUG_FLAGS & DEBUG_RESTART) kprintf ("+");
if (DEBUG_FLAGS & DEBUG_RESTART) kprintf ("- (remove)");
if (DEBUG_FLAGS & DEBUG_RESTART)
if (DEBUG_FLAGS & DEBUG_RESTART) kprintf (" -- remove trap\n");
if (DEBUG_FLAGS & DEBUG_RESTART) {