Defined in 5 files as a prototype:

Defined in 13 files as a macro:

Defined in 19 files as a function:

Referenced in 8 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-7138969414219841535,7138969414219841537-ptr_max
PARAM_VALUE 0 mm->binfmt->module 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

kernel/fork.c mm_init() -> destroy_context()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->context.execute_only_pkey (-1)
PARAM_VALUE 0 mm->context.ldt 0
PARAM_VALUE 0 mm->context.ldt_usr_sem.count.counter 0
PARAM_VALUE 0 mm->context.ldt_usr_sem.dep_map->name 0-255
PARAM_VALUE 0 mm->context.ldt_usr_sem.first_waiter 0
PARAM_VALUE 0 mm->context.ldt_usr_sem.magic 4096-ptr_max
PARAM_VALUE 0 mm->context.ldt_usr_sem.owner.counter 0
PARAM_VALUE 0 mm->context.lock.dep_map->name 0-255
PARAM_VALUE 0 mm->context.lock.first_waiter 0
PARAM_VALUE 0 mm->context.lock.magic 4096-ptr_max
PARAM_VALUE 0 mm->context.lock.osq.tail.counter 0
PARAM_VALUE 0 mm->context.lock.owner.counter 0
PARAM_VALUE 0 mm->context.pkey_allocation_map 1
PARAM_VALUE 0 mm->context.tlb_gen.counter 0
PARAM_VALUE 0 mm->context.untag_mask u64max
PARAM_VALUE 0 mm->def_flags 0,1073741824
PARAM_VALUE 0 mm->exe_file 0
PARAM_VALUE 0 mm->hugetlb_usage.counter 0
PARAM_VALUE 0 mm->ioctx_table 0
PARAM_VALUE 0 mm->iommu_mm 0
PARAM_VALUE 0 mm->locked_vm 0
PARAM_VALUE 0 mm->map_count 0
PARAM_VALUE 0 mm->mm_cid.pcpu 0
PARAM_VALUE 0 mm->mm_count.counter 1
PARAM_VALUE 0 mm->mm_id 0-s32max
PARAM_VALUE 0 mm->mm_lock_seq.dep_map->name 0-255
PARAM_VALUE 0 mm->mm_lock_seq.sequence 0
PARAM_VALUE 0 mm->mm_mt.ma_flags 771
PARAM_VALUE 0 mm->mm_mt.ma_root 0
PARAM_VALUE 0 mm->mm_users.counter 1
PARAM_VALUE 0 mm->mmap_lock.count.counter 0
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter 0
PARAM_VALUE 0 mm->mmap_lock.magic 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0
PARAM_VALUE 0 mm->mmap_lock.owner.counter 0
PARAM_VALUE 0 mm->notifier_subscriptions 0
PARAM_VALUE 0 mm->pgd 18379471554275704832,18446612682070032384
PARAM_VALUE 0 mm->pinned_vm.counter 0
PARAM_VALUE 0 mm->rss_stat 4096-ptr_max
PARAM_VALUE 0 mm->tlb_flush_pending.counter 0
PARAM_VALUE 0 mm->uprobes_state.xol_area 0
PARAM_VALUE 0 mm->vma_writer_wait.task 0
PARAM_VALUE 0 mm->write_protect_seq.dep_map->name 0-255
PARAM_VALUE 0 mm->write_protect_seq.sequence 0
DATA_SOURCE 0 mm $0
FUZZY_MAX 0 mm->def_flags 0
BIT_INFO 0 mm->def_flags 0x0,0x40000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL