Searched refs:kernel_dbg_exc (Results 1 – 1 of 1) sorted by relevance
728 beq kernel_dbg_exc; /* if from kernel mode */743 kernel_dbg_exc: label799 beq kernel_dbg_exc; /* if from kernel mode */