Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 14 files:
- arch/arm64/mm/gcs.c
- arch/riscv/kernel/usercfi.c
- arch/sparc/kernel/sys_sparc_64.c, line 492
- arch/x86/kernel/shstk.c
- arch/x86/kvm/x86.c, line 9986
- drivers/gpu/drm/i915/gem/selftests/i915_gem_mman.c
- drivers/misc/lkdtm/perms.c
- drivers/misc/lkdtm/usercopy.c
- fs/aio.c
- fs/binfmt_elf.c
- fs/binfmt_flat.c
- lib/kunit/user_alloc.c, line 69
- mm/mmap.c, line 1089
- mm/nommu.c
Smatch caller information:
lib/kunit/user_alloc.c kunit_vm_mmap_init() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 1-u64max |
| DATA_SOURCE | 0 | start | r vm_mmap |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| HALF_LOCKED2 | global &kunit_run_lock |
arch/x86/kernel/shstk.c alloc_shstk() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| PARAM_VALUE | 1 | len | 0,4096-u64max |
| CAPPED_DATA | 1 | len | 1 |
| CAPPED_DATA | 1 | len | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap_shadow_stack |
| DATA_SOURCE | 1 | len | $1 |
| BIT_INFO | 1 | len | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | len | 0x0,0xfffffffffffff000 |
| NOSPEC | 1 | len | |
| NOSPEC | 1 | len | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | start | 0-18446744073709547520 |
| USER_DATA | 1 | len | 0,4096-u64max[c] |
arch/x86/kernel/shstk.c unmap_shadow_stack() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 1-u64max |
| PARAM_VALUE | 1 | len | 1-u64max |
| DATA_SOURCE | 0 | start | $0 |
| DATA_SOURCE | 1 | len | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/aio.c ioctx_alloc() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| PARAM_VALUE | 1 | len | 4096-268439552 |
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | len | unit_byte |
| LOCK2 | &ctx->ring_lock | ||
| TYPE_LOCK | (struct kioctx)->ring_lock |
fs/aio.c kill_ioctx() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 1-u64max |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | len | |
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | len | unit_byte |
fs/binfmt_elf.c elf_map() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | len | unit_byte |
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
fs/binfmt_elf.c load_elf_binary() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 1-u64max |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r elf_load |
| DATA_SOURCE | 1 | len | r total_mapping_size |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| LOCK2 | &tsk->signal->exec_update_lock |
drivers/misc/lkdtm/usercopy.c do_usercopy_page_span() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/usercopy.c do_usercopy_slab_size() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/usercopy.c do_usercopy_slab_whitelist() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/usercopy.c do_usercopy_stack() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_KERNEL() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
arch/x86/kvm/x86.c __x86_set_memory_region() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | len | unit_byte |
| LOCK2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
drivers/misc/lkdtm/perms.c lkdtm_ACCESS_USERSPACE() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/perms.c lkdtm_ACCESS_USERSPACE() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 4096-18446744073709547520 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/misc/lkdtm/perms.c lkdtm_EXEC_USERSPACE() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709551614 |
| PARAM_VALUE | 1 | len | 4096 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r vm_mmap |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
fs/compat_binfmt_elf.c elf_map() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 0-4294963200,18446744069414580224-u64max |
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | len | unit_byte |
drivers/gpu/drm/i915/gem/i915_gem_mman.c __igt_mmap() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| DATA_SOURCE | 0 | start | r igt_mmap_offset |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/gpu/drm/i915/gem/i915_gem_mman.c __igt_mmap_access() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| DATA_SOURCE | 0 | start | r igt_mmap_offset |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
drivers/gpu/drm/i915/gem/i915_gem_mman.c __igt_mmap_gpu() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| DATA_SOURCE | 0 | start | r igt_mmap_offset |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| HALF_LOCKED2 | obj->base.resv |
drivers/gpu/drm/i915/gem/i915_gem_mman.c __igt_mmap_migrate() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| DATA_SOURCE | 0 | start | r igt_mmap_offset_with_file |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| HALF_LOCKED2 | obj->base.resv |
drivers/gpu/drm/i915/gem/i915_gem_mman.c __igt_mmap_revoke() -> vm_munmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 0-18446744073709547520 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | r igt_mmap_offset |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |