Searched refs:kernel_dbg_exc (Results 1 – 1 of 1) sorted by relevance
765 beq kernel_dbg_exc; /* if from kernel mode */781 kernel_dbg_exc: label829 beq kernel_dbg_exc; /* if from kernel mode */