Defined in 2 files as a function:
Referenced in 5 files:
Smatch caller information:
mm/mmap.c __do_sys_brk() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4096-u64max |
| PARAM_VALUE | 1 | len | 0,4096-u64max |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 1 | len | 1 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | len | 0,4096-u64max |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | len | unit_byte |
mm/mmap.c __do_sys_brk() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4096-u64max |
| PARAM_VALUE | 1 | len | 0,4096-u64max |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 1 | len | 1 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | len | 0,4096-u64max |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | len | unit_byte |
mm/mmap.c __do_sys_remap_file_pages() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 4096-u64max |
| DATA_SOURCE | 0 | addr | r do_mmap |
| NOCHECK_CALL | |||
| USER_DATA | 0 | addr | 0-s32max,18446744071562067968-18446744073709547520[c] |
| USER_DATA | 1 | len | 4096-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | len |
mm/mmap.c __do_sys_remap_file_pages() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 4096-u64max |
| DATA_SOURCE | 0 | addr | r do_mmap |
| NOCHECK_CALL | |||
| USER_DATA | 0 | addr | 0-s32max,18446744071562067968-18446744073709547520[c] |
| USER_DATA | 1 | len | 4096-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | len |
mm/mmap.c vm_brk_flags() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4096-u64max |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 1 | len | 1 |
| CAPPED_DATA | 1 | len | 1 |
| DATA_SOURCE | 0 | addr | $0 [m] |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | len | 0x0,0x0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | len | |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | len | unit_byte |
mm/util.c vm_mmap_pgoff() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 4096-u64max |
| DATA_SOURCE | 0 | addr | r do_mmap |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | addr | 0-s32max,18446744071562067968-18446744073709547520[c] |
| USER_DATA | 1 | len | 4096-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | len |
mm/mremap.c do_mremap() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOSPEC | 1 | len | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | addr | 0-u64max |
| USER_DATA | 1 | len | 1-u64max[c] |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | len | unit_byte |
mm/mlock.c __do_sys_mlockall() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0 |
| NOCHECK_CALL |
mm/mlock.c __do_sys_mlockall() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0 |
| NOCHECK_CALL |
ipc/shm.c do_shmat() -> mm_populate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 4096-u64max |
| DATA_SOURCE | 0 | addr | r do_mmap |
| NOSPEC | 0 | addr | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | addr | 0-s32max,18446744071562067968-u64max |
| USER_DATA | 1 | len | 4096-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | len |