Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/ldt.c ldt_arch_exit_mmap() -> free_ldt_pgtables()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->binfmt->module 0
PARAM_VALUE 0 mm->context.global_asid 0
PARAM_VALUE 0 mm->context.ldt 0
PARAM_VALUE 0 mm->exe_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 mm->exe_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 mm->ioctx_table 0
PARAM_VALUE 0 mm->mm_cid.pcpu 0
PARAM_VALUE 0 mm->mm_id 0
PARAM_VALUE 0 mm->mm_users.counter 0
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 mm->notifier_subscriptions 0
PARAM_VALUE 0 mm->sc_stat.pcpu_sched 0
CAPPED_DATA 0 mm 1
CAPPED_DATA 0 mm->uprobes_state.xol_area 1
DATA_SOURCE 0 mm $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 0 &mm->mmap_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

arch/x86/kernel/ldt.c ldt_dup_context() -> free_ldt_pgtables()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
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.tlb_gen.counter 0
PARAM_VALUE 0 mm->def_flags 0,1073741824
PARAM_VALUE 0 mm->exe_file 0,4096-ptr_max
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->lru_gen.bitmap 0
PARAM_VALUE 0 mm->lru_gen.memcg 0
PARAM_VALUE 0 mm->map_count 0-s32max
PARAM_VALUE 0 mm->mm_cid.lock.magic 3735899821
PARAM_VALUE 0 mm->mm_cid.lock.owner (-1)
PARAM_VALUE 0 mm->mm_cid.lock.owner_cpu u32max
PARAM_VALUE 0 mm->mm_cid.max_cids 0
PARAM_VALUE 0 mm->mm_cid.mode 0
PARAM_VALUE 0 mm->mm_cid.mutex.dep_map->name 0-255
PARAM_VALUE 0 mm->mm_cid.mutex.first_waiter 0
PARAM_VALUE 0 mm->mm_cid.mutex.magic 4096-ptr_max
PARAM_VALUE 0 mm->mm_cid.mutex.osq.tail.counter 0
PARAM_VALUE 0 mm->mm_cid.mutex.owner.counter 0
PARAM_VALUE 0 mm->mm_cid.pcpu 4096-ptr_max
PARAM_VALUE 0 mm->mm_cid.pcpu_thrs 0
PARAM_VALUE 0 mm->mm_cid.update_deferred 0
PARAM_VALUE 0 mm->mm_cid.users 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_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.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->mmap_lock.magic 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.owner.counter 0
PARAM_VALUE 0 mm->notifier_subscriptions 0
PARAM_VALUE 0 mm->owner 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->pgd 18446612682070032384
PARAM_VALUE 0 mm->pinned_vm.counter 0
PARAM_VALUE 0 mm->sc_stat.cpu (-1)
PARAM_VALUE 0 mm->sc_stat.footprint 0
PARAM_VALUE 0 mm->sc_stat.lock.magic 3735899821
PARAM_VALUE 0 mm->sc_stat.lock.owner (-1)
PARAM_VALUE 0 mm->sc_stat.lock.owner_cpu u32max
PARAM_VALUE 0 mm->sc_stat.nr_running_avg 0
PARAM_VALUE 0 mm->sc_stat.pcpu_sched 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 $1
TERMINATED 0 mm->mm_lock_seq.dep_map.name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &old_mm->context.lock
LOCK2 &old_mm->mmap_lock
LOCK2 0 &mm->mmap_lock
TYPE_LOCK (struct mm_context_t)->lock
TYPE_LOCK (struct mm_struct)->mmap_lock

arch/x86/kernel/ldt.c write_ldt() -> free_ldt_pgtables()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->context.ldt 0
PARAM_VALUE 0 mm->context.ldt_usr_sem.dep_map->name 0-255
PARAM_VALUE 0 mm->context.ldt_usr_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mm->context.ldt_usr_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mm->context.ldt_usr_sem.first_waiter->type 0-1
PARAM_VALUE 0 mm->context.ldt_usr_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 mm->context.ldt_usr_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->context.ldt_usr_sem.wait_lock.owner (-1)
PARAM_VALUE 0 mm->context.ldt_usr_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 0 &mm->context.ldt_usr_sem
TYPE_LOCK (struct mm_context_t)->ldt_usr_sem