Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/madvise.c madvise_update_vma() -> vma_modify_name()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4195764768921808896
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.last 0
PARAM_VALUE 0 vmi->mas.max 0
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_mm 4096-ptr_max
NOSPEC 4 end
NOSPEC 4 end
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 1 prev->vm_start 1-u64max[c]
USER_DATA 3 start 0-u64max
USER_DATA 4 end 0-u64max
UNITS 3 start unit_byte
UNITS 4 end unit_byte
HALF_LOCKED2 &madv_behavior->mm->mmap_lock