Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmap.c __do_sys_munmap() -> __vm_munmap()

Type Parameter Key Value
PARAM_VALUE 2 unlock 1
DATA_SOURCE 0 start r __untagged_addr
DATA_SOURCE 1 len $1
USER_DATA 0 start 0-u64max
USER_DATA 1 len 0-u64max

mm/mmap.c __do_sys_munmap() -> __vm_munmap()

Type Parameter Key Value
PARAM_VALUE 2 unlock 1
DATA_SOURCE 0 start r __untagged_addr
DATA_SOURCE 1 len $1
USER_DATA 0 start 0-u64max
USER_DATA 1 len 0-u64max

mm/mmap.c vm_munmap() -> __vm_munmap()

Type Parameter Key Value
PARAM_VALUE 2 unlock 0
DATA_SOURCE 0 start $0
DATA_SOURCE 1 len $1
NOSPEC 1 len
NOSPEC 1 len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 len 4096-u64max[c]
NO_OVERFLOW_SIMPLE 1 len
UNITS 0 start unit_byte
UNITS 1 len unit_byte
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &kvm->slots_lock