Searched refs:kernel_dbg_exc (Results 1 – 1 of 1) sorted by relevance
785 beq kernel_dbg_exc; /* if from kernel mode */801 kernel_dbg_exc: label857 beq kernel_dbg_exc; /* if from kernel mode */