queue_t q = &wake_queue_head;
kern_return_t res;
- assert(wait_queue_held(wq));
+// assert(wait_queue_held(wq));
+ if(!wq->wq_interlock.lock_data) { /* (BRINGUP */
+ panic("wait_queue_wakeup64_all_locked: lock not held on %08X\n", wq); /* (BRINGUP) */
+ }
+
queue_init(q);
/*
s = splsched();
wait_queue_lock(wq);
+ if(!wq->wq_interlock.lock_data) { /* (BRINGUP */
+ panic("wait_queue_wakeup_all: we did not get the lock on %08X\n", wq); /* (BRINGUP) */
+ }
ret = wait_queue_wakeup64_all_locked(
wq, (event64_t)((uint32_t)event),
result, TRUE);