DEBUGCONT0
DEBUGCONT0(XENCONS_DEBUG_PROCS, "xencons_rxint\n");
DEBUGCONT0(XENCONS_DEBUG_PROCS, "xencons_txint\n");
DEBUGCONT0(XENCONS_DEBUG_PROCS, "xencons_txint: done\n");