Searched refs:L4_KDEBUG_OUTCHAR (Results 1 – 1 of 1) sorted by relevance
35 L4_KDEBUG_OUTCHAR = 1, enumerator155 __kdebug_op_1(L4_KDEBUG_OUTCHAR, c); in outchar()
Completed in 2 milliseconds