__assumes_ctx_lock
__attribute__((overloadable)) __assumes_ctx_lock(var) { } \
__assumes_ctx_lock(sem)
__assumes_ctx_lock(sem)
__assumes_ctx_lock(sem)
__assumes_ctx_lock(sem)
__assumes_ctx_lock(sem)
__assumes_ctx_lock(sem)
__assumes_ctx_lock(__rq_lockp(rq))