/branches/tracing/kernel/arch/amd64/src/debugger.c |
---|
342,6 → 342,7 |
dr6 = read_dr6(); |
#ifdef CONFIG_UDEBUG |
if (dr6 & DR6_BS) { |
if (THREAD && istate_from_uspace(istate)) { |
/* |
352,6 → 353,7 |
return; |
} |
} |
#endif |
/* Set RF to restart the instruction */ |
#ifdef amd64 |