summaryrefslogtreecommitdiff
path: root/ddb
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-25 00:53:44 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-25 04:09:55 +0200
commita7fb5a40ab0700477b39bb89d70172b97280d4d1 (patch)
tree2d3ebe679ad6b114749551d20796e1f13c41c9a7 /ddb
parentfc3938f2b5741fb973da96f5a40f8137655f9d6b (diff)
kern/lock: make sure the macros are only used on simple locks
* kern/lock.h (struct slock, simple_lock_data_empty): Add field `is_a_simple_lock'. (simple_lock_assert): New macro that tests for `is_a_simple_lock'. Use this macro to assert that the arguments to various other macros are indeed simple locks.
Diffstat (limited to 'ddb')
0 files changed, 0 insertions, 0 deletions