diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-25 01:47:54 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 12:43:26 +0200 |
commit | ebe071dae0cc99dc73f8ff61950f786f4f51bdbe (patch) | |
tree | b55f8051b291bd4c35d9b5c62051299b6ab0ffd1 /device/ds_routines.c | |
parent | bf051865e0927b681417c665fb2aa4b389b7c6bb (diff) |
device: use general lock for `mach_device'
* device/dev_hdr.h (struct mach_device): Turn lock into a general lock.
(device_lock_init): New macro.
(device_lock, device_unlock): Adapt accordingly.
* device/dev_lookup.c (device_lookup): Use `device_lock_init'.
* device/ds_routines.c (device_open): Adapt accordingly.
Diffstat (limited to 'device/ds_routines.c')
-rw-r--r-- | device/ds_routines.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 43ed5b5..33cfd89 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -443,7 +443,7 @@ device_open(const ipc_port_t reply_port, while (device->state == DEV_STATE_OPENING || device->state == DEV_STATE_CLOSING) { device->io_wait = TRUE; - thread_sleep((event_t)device, simple_lock_addr(device->lock), TRUE); + thread_sleep_lock((event_t)device, &device->lock, TRUE); device_lock(device); } |