Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/usercopy.c check_heap_object() -> find_vmap_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 17-u64max |
| DATA_SOURCE | 0 | addr | $0 |
| NO_OVERFLOW_SIMPLE | 0 | addr |
mm/vmalloc.c find_vm_area() -> find_vmap_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | addr | (-1)-s32max |
| DATA_SOURCE | 0 | addr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | global &module_mutex | ||
| HALF_LOCKED2 | global &pack_mutex | ||
| HALF_LOCKED2 | mutex |