diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-25 00:53:44 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-25 04:09:55 +0200 |
| commit | a7fb5a40ab0700477b39bb89d70172b97280d4d1 (patch) | |
| tree | 2d3ebe679ad6b114749551d20796e1f13c41c9a7 /ddb | |
| parent | fc3938f2b5741fb973da96f5a40f8137655f9d6b (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