DBGMON_KERNEL
if ((kernel_monitor.dbg_flags & DBGMON_KERNEL) != 0) {
if ((monitor->dbg_flags & DBGMON_KERNEL) == 0)
if ((monitor->dbg_flags & DBGMON_KERNEL) == 0)
.dbg_flags = DBGMON_KERNEL
if ((monitor->dbg_flags & DBGMON_KERNEL) == DBGMON_KERNEL)