Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c __mmdrop() -> mmu_notifier_subscriptions_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-7138969414219841535,7138969414219841537-ptr_max
PARAM_VALUE 0 mm->binfmt->module 0
PARAM_VALUE 0 mm->context.ldt 0
PARAM_VALUE 0 mm->mm_id 0
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->sc_stat.pcpu_sched 0
BUF_SIZE 0 mm s32min-s32max
CAPPED_DATA 0 mm 1
CAPPED_DATA 0 mm->pgd 1
DATA_SOURCE 0 mm $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
HALF_LOCKED2 &context->db_page_mutex
HALF_LOCKED2 &dev->domain_lock
HALF_LOCKED2 &ictx->ioas_creation_lock
HALF_LOCKED2 &xdna->client_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &mm->mmap_lock