Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/rwsem.c downgrade_write() -> __downgrade_write()

Type Parameter Key Value
CAPPED_DATA 0 &sem->dep_map 1
DATA_SOURCE 0 sem $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &card->controls_rwsem
HALF_LOCKED2 &con->sock_lock
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &d->sem
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &dvnode->validate_lock
HALF_LOCKED2 &group->mode_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &nilfs->ns_segctor_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &rbd_dev->lock_rwsem
HALF_LOCKED2 &rdev->exclusive_lock
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &svms->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 &vnode->validate_lock
HALF_LOCKED2 b
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &htable_rw_lock
HALF_LOCKED2 global &key_types_sem