Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/spinlock.c __raw_read_unlock() -> do_raw_read_unlock()

Type Parameter Key Value
CAPPED_DATA 0 &lock->dep_map 1
DATA_SOURCE 0 lock $0
NOCHECK_CALL

kernel/locking/spinlock.c __raw_read_unlock_bh() -> do_raw_read_unlock()

Type Parameter Key Value
CAPPED_DATA 0 &lock->dep_map 1
DATA_SOURCE 0 lock $0
NOCHECK_CALL

kernel/locking/spinlock.c __raw_read_unlock_irq() -> do_raw_read_unlock()

Type Parameter Key Value
CAPPED_DATA 0 &lock->dep_map 1
DATA_SOURCE 0 lock $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &d->lock
HALF_LOCKED2 &f_owner->lock
HALF_LOCKED2 &gpc->lock
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->gpc_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &local->services_lock
HALF_LOCKED2 &mhi_chan->lock
HALF_LOCKED2 &mhi_cntrl->pm_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &srcu

kernel/locking/spinlock.c __raw_read_unlock_irqrestore() -> do_raw_read_unlock()

Type Parameter Key Value
CAPPED_DATA 0 &lock->dep_map 1
DATA_SOURCE 0 lock $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->lock
HALF_LOCKED2 &device->cache_lock
HALF_LOCKED2 &event->list_lock
HALF_LOCKED2 &fa->fa_lock
HALF_LOCKED2 &fown->lock
HALF_LOCKED2 &gpc->lock
HALF_LOCKED2 &gpc1->lock
HALF_LOCKED2 &index_ni->mrec_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &log_ni->size_lock
HALF_LOCKED2 &ls->lock
HALF_LOCKED2 &mad_agent_priv->lock
HALF_LOCKED2 &mft_ni->mrec_lock
HALF_LOCKED2 &mft_ni->runlist.lock
HALF_LOCKED2 &mft_ni->size_lock
HALF_LOCKED2 &mftbmp_ni->runlist.lock
HALF_LOCKED2 &mftbmp_ni->size_lock
HALF_LOCKED2 &mhi_chan->lock
HALF_LOCKED2 &mhi_cntrl->pm_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &ni->runlist.lock
HALF_LOCKED2 &ni->size_lock
HALF_LOCKED2 &priv->ptp_lock
HALF_LOCKED2 &root->kernfs_rename_lock
HALF_LOCKED2 &rs->rs_recv_lock
HALF_LOCKED2 &s->lock
HALF_LOCKED2 &sdp->sfd_lock
HALF_LOCKED2 &sfp->rq_list_lock
HALF_LOCKED2 &sp->mutex
HALF_LOCKED2 &table->rwlock
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &v->mutex
HALF_LOCKED2 &vol->mftbmp_lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 global &ccp_unit_lock
HALF_LOCKED2 global &cm.device_lock
HALF_LOCKED2 global &cpufreq_driver_lock
HALF_LOCKED2 global &devs_lock
HALF_LOCKED2 global &driver_name_lock
HALF_LOCKED2 global &lock
HALF_LOCKED2 global &nl_table_lock
HALF_LOCKED2 global &rds_cong_monitor_lock
HALF_LOCKED2 global &sg_index_lock
HALF_LOCKED2 rcu_read