DEBUG_TINY
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("[");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("]\n");
if (DEBUG_FLAGS & DEBUG_TINY)
if(DEBUG_FLAGS & DEBUG_TINY) kprintf ("D");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("{");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("}");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("F ");
if (DEBUG_FLAGS & DEBUG_TINY)
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("T");
if (DEBUG_FLAGS & (DEBUG_TINY|DEBUG_PHASE)) {
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("I#%d", num);
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("F ");
if (DEBUG_FLAGS & DEBUG_TINY)
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("[");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("]");
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("T");
if (DEBUG_FLAGS & (DEBUG_TINY|DEBUG_PHASE))
if (DEBUG_FLAGS & DEBUG_TINY) kprintf ("I#%d", num);
if (DEBUG_FLAGS & (DEBUG_TINY|DEBUG_RESULT)) {