Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->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
PARAM_VALUE 1 ldt 4096-ptr_max
PARAM_VALUE 1 ldt->entries 1-u64max
PARAM_VALUE 1 ldt->nr_entries 0-8192
PARAM_VALUE 1 ldt->slot (-1)
PARAM_VALUE 2 slot 0
BUF_SIZE 1 ldt 16
DATA_SOURCE 0 mm $1
DATA_SOURCE 1 ldt r alloc_ldt_struct
TERMINATED 0 mm->mm_lock_seq.dep_map.name 1
RX_PATH
TASK_NOT_RUNNING
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() -> map_ldt_struct()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->context.ldt 0,4096-ptr_max
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 1 ldt 4096-ptr_max
PARAM_VALUE 1 ldt->entries 4096-ptr_max
PARAM_VALUE 1 ldt->nr_entries 1-8192
PARAM_VALUE 1 ldt->slot (-1)
PARAM_VALUE 2 slot 0-1
BUF_SIZE 1 ldt 16
DATA_SOURCE 1 ldt r alloc_ldt_struct
FUZZY_MAX 2 slot 1
HARD_MAX 2 slot 1
USER_DATA 1 ldt->nr_entries 1-8192[c]
UNITS 0 mm unit_byte
LOCK2 0 &mm->context.ldt_usr_sem
TYPE_LOCK (struct mm_context_t)->ldt_usr_sem