Searched refs:kernel_dbg_exc (Results 1 – 1 of 1) sorted by relevance
741 beq kernel_dbg_exc; /* if from kernel mode */756 kernel_dbg_exc: label812 beq kernel_dbg_exc; /* if from kernel mode */