Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmap_lock.c __vma_exclude_readers_for_detach() -> __vma_end_exclude_readers()

Type Parameter Key Value
PARAM_VALUE 0 ves 4697704146732265472
PARAM_VALUE 0 ves->detached 0
PARAM_VALUE 0 ves->detaching 1
PARAM_VALUE 0 ves->exclusive 1
PARAM_VALUE 0 ves->state 2
PARAM_VALUE 0 ves->vma 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/mmap_lock.c __vma_start_exclude_readers() -> __vma_end_exclude_readers()

Type Parameter Key Value
PARAM_VALUE 0 ves 2962767110652080128,4697704146732265472
PARAM_VALUE 0 ves->detached 0
PARAM_VALUE 0 ves->exclusive 0
PARAM_VALUE 0 ves->state 2,258
PARAM_VALUE 0 ves->vma 4096-ptr_max
PARAM_VALUE 0 ves->vma->vm_mm 4096-ptr_max
PARAM_VALUE 0 ves->vma->vm_refcnt.refs.counter 0-s32max
DATA_SOURCE 0 ves $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/mmap_lock.c __vma_start_write() -> __vma_end_exclude_readers()

Type Parameter Key Value
PARAM_VALUE 0 ves 2962767110652080128
PARAM_VALUE 0 ves->detached 0
PARAM_VALUE 0 ves->exclusive 1
PARAM_VALUE 0 ves->state 2,258
PARAM_VALUE 0 ves->vma 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &file->device->disassociate_srcu
HALF_LOCKED2 &file->disassociation_lock
HALF_LOCKED2 &file_priv->lock
HALF_LOCKED2 &idev->info_lock
HALF_LOCKED2 &info->mm_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &q->mutex
HALF_LOCKED2 &sfp->f_mutex
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 global &gref_mutex