Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c mmput() -> __mmput()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
BUF_SIZE 0 mm s32min-s32max
DATA_SOURCE 0 mm $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &arena->zap_mutex
HALF_LOCKED2 &client->hwctx_srcu
HALF_LOCKED2 &ctx->walk_control_lock
HALF_LOCKED2 &dqm->lock_hidden
HALF_LOCKED2 &driver_migrate_lock
HALF_LOCKED2 &hwctx->priv->job_sem
HALF_LOCKED2 &iommu->lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &prange->migrate_mutex
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 &split_debug_mutex
HALF_LOCKED2 &svms->lock
HALF_LOCKED2 &task->signal->exec_update_lock
HALF_LOCKED2 &ufile->disassociation_lock
HALF_LOCKED2 &uprobe->register_rwsem
HALF_LOCKED2 &vgpu->cache_lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 0 &mm->mmap_lock

kernel/fork.c mmput_async_fn() -> __mmput()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock