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-07-26 12:14:18 +0200 |
commit | 3f6377e778e91b59d6fe1eb6d9f8381da04b24b4 (patch) | |
tree | a52047bfd1d39e57ffd7aa371a1f36e5cc1cd145 /device/ds_routines.c | |
parent | e8e4cddec2daa1b3890477b9ccf817db0023c9e9 (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); } |