diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 16:43:24 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-17 15:42:31 +0200 |
commit | bdc9b8583e6336bb3a44a80f10bac8b7b369719c (patch) | |
tree | 9fe6a45b74a7ed6ecf7a2316c095f875799e5bfc /=announce-1.2 | |
parent | 8259090d7394b667fbca4d4b05153e980a39db6b (diff) |
kern: disable the simple lock checks while debugging
* kern/lock.c (do_check_simple_locks): New variable.
(check_simple_locks): Make check conditional.
(check_simple_locks_{en,dis}able): New functions.
* kern/lock.h (check_simple_locks_{en,dis}able): New declarations.
* ddb/db_trap.c (db_task_trap): Disable simple lock checks.
Diffstat (limited to '=announce-1.2')
0 files changed, 0 insertions, 0 deletions