Defined in 1 files as a prototype:
Defined in 3 files as a function:
- mm/mmap.c, line 971 (as a function)
- mm/mmap.c, line 993 (as a function)
- mm/nommu.c, line 652 (as a function)
Referenced in 4 files:
Smatch caller information:
mm/mmap.c find_extend_vma_locked() -> expand_stack_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_start | 1-u64max |
| PARAM_VALUE | 1 | address | 0,4096-18446744073709551614 |
| CAPPED_DATA | 1 | address | 1 |
| CAPPED_DATA | 1 | address | 1 |
| DATA_SOURCE | 0 | vma | r find_vma |
| DATA_SOURCE | 1 | address | $1 [m] |
| PARAM_COMPARE | 1 | address | < $0->vm_start |
| PARAM_COMPARE | 1 | address | < $0->vm_start |
| BIT_INFO | 1 | address | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | address | 0x0,0xfffffffffffff000 |
| UNITS | 1 | address | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap_lock.c lock_mm_and_find_vma() -> expand_stack_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_start | 1-u64max |
| PARAM_VALUE | 1 | address | 0-18446744073709551614 |
| CAPPED_DATA | 1 | address | 1 |
| CAPPED_DATA | 1 | address | 1 |
| DATA_SOURCE | 0 | vma | r find_vma |
| DATA_SOURCE | 1 | address | $1 |
| PARAM_COMPARE | 1 | address | < $0->vm_start |
| PARAM_COMPARE | 1 | address | < $0->vm_start |
| BIT_INFO | 0 | vma->vm_flags | 0x100,0xffffffffffffffff |
| UNITS | 1 | address | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
fs/exec.c setup_arg_pages() -> expand_stack_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm | 4096-ptr_max |
| CAPPED_DATA | 0 | vma | 1 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| UNITS | 1 | address | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &tsk->signal->exec_update_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |