Fixup: lock-write check in ws_queue_pop()
Fixup lock-write check in ws_queue_push()