Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vma.c __mmap_region() -> __mmap_setup()

Type Parameter Key Value
PARAM_VALUE 0 map 5695852749483675648
PARAM_VALUE 0 map->addr 0-18446744073709547520
PARAM_VALUE 0 map->anon_pgoff 0-4503599627370495
PARAM_VALUE 0 map->charged 0
PARAM_VALUE 0 map->file 0,4096-ptr_max
PARAM_VALUE 0 map->mas_detach.alloc 0
PARAM_VALUE 0 map->mas_detach.depth 0
PARAM_VALUE 0 map->mas_detach.end 0
PARAM_VALUE 0 map->mas_detach.index 0
PARAM_VALUE 0 map->mas_detach.last 0
PARAM_VALUE 0 map->mas_detach.ld_seq 0
PARAM_VALUE 0 map->mas_detach.mas_flags 0
PARAM_VALUE 0 map->mas_detach.max 0
PARAM_VALUE 0 map->mas_detach.min 0
PARAM_VALUE 0 map->mas_detach.node 0
PARAM_VALUE 0 map->mas_detach.node_request 0
PARAM_VALUE 0 map->mas_detach.offset 0
PARAM_VALUE 0 map->mas_detach.sheaf 0
PARAM_VALUE 0 map->mas_detach.status 0
PARAM_VALUE 0 map->mas_detach.store_type 0
PARAM_VALUE 0 map->mt_detach.ma_external_lock 0
PARAM_VALUE 0 map->mt_detach.ma_root 0
PARAM_VALUE 0 map->next 0
PARAM_VALUE 0 map->pglen 1-4503599627370495
PARAM_VALUE 0 map->pgoff 0-4503599627370495
PARAM_VALUE 0 map->prev 0
PARAM_VALUE 0 map->vm_flags 0
PARAM_VALUE 0 map->vm_ops 0
PARAM_VALUE 0 map->vmi 7342498018941853696
PARAM_VALUE 0 map->vms.clear_ptes 0
PARAM_VALUE 0 map->vms.data_vm 0
PARAM_VALUE 0 map->vms.end 0
PARAM_VALUE 0 map->vms.exec_vm 0
PARAM_VALUE 0 map->vms.locked_vm 0
PARAM_VALUE 0 map->vms.next 0
PARAM_VALUE 0 map->vms.nr_accounted 0
PARAM_VALUE 0 map->vms.nr_pages 0
PARAM_VALUE 0 map->vms.prev 0
PARAM_VALUE 0 map->vms.stack_vm 0
PARAM_VALUE 0 map->vms.start 0
PARAM_VALUE 0 map->vms.uf 0
PARAM_VALUE 0 map->vms.unmap_end 0
PARAM_VALUE 0 map->vms.unmap_start 0
PARAM_VALUE 0 map->vms.vma 0
PARAM_VALUE 0 map->vms.vma_count 0
PARAM_VALUE 0 map->vms.vmi 0
PARAM_VALUE 1 desc 5235489163923165184
PARAM_VALUE 1 desc->end 0
PARAM_VALUE 1 desc->file 0,4096-ptr_max
PARAM_VALUE 1 desc->pgoff 0
PARAM_VALUE 1 desc->start 0
PARAM_VALUE 1 desc->vm_file 0
PARAM_VALUE 1 desc->vm_ops 6756087424609792000
PARAM_VALUE 2 uf 0,8752995455334682624
PARAM_VALUE 2 uf->next 8752995455334682624
PARAM_VALUE 2 uf->prev 8752995455334682624
BUF_SIZE 2 uf->next (-1),16
BUF_SIZE 2 uf->prev (-1),16
DATA_SOURCE 2 uf $5
NOSPEC 0 map->addr
NOSPEC 0 map->pgoff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 map->addr 0-18446744073709547520[c]
USER_DATA 0 map->anon_pgoff 0-4503599627370495[c]
USER_DATA 0 map->pglen 1-4503599627370495[c]
USER_DATA 0 map->pgoff 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 0 map->pgoff
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock