Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_ctor() -> nvkm_vmm_ctor_managed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | vmm->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mmu->func | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.map.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.map.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.map.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.map.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.map.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.ref.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.ref.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.vmm.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->name | 572916574821515264,1259478317585096704,1589294372859043840,3855178936993570816,7242409991763337216,7398912313877254144,8270121927594450944 |
| PARAM_VALUE | 0 | vmm->pd | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->pd->page | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 0 | vmm->pd->refs | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->pd->sparse | 0 |
| PARAM_VALUE | 0 | vmm->start | 0 |
| PARAM_VALUE | 1 | addr | 0 |
| PARAM_VALUE | 2 | size | 1-u64max |
| BUF_SIZE | 0 | vmm->name | 4-5,12,14 |
| BUF_SIZE | 0 | vmm->pd | 40-s32max |
| CAPPED_DATA | 2 | size | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | vmm | $8 |
| DATA_SOURCE | 2 | size | $4 |
| STR_LEN | 0 | vmm->func | (-1),4 |
| PARAM_COMPARE | 2 | size | <= $0->limit |
| PARAM_COMPARE | 2 | size | <= $0->limit |
| BIT_INFO | 0 | vmm->free | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | vmm->root | 0x0,0x7fffffffffffffff |
| POWER_OF_TWO | 0 | *vmm | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | size |
drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_ctor() -> nvkm_vmm_ctor_managed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->join.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | vmm->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->managed.p.addr | 0 |
| PARAM_VALUE | 0 | vmm->mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mmu->func | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.map.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.map.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.map.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.map.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.map.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.ref.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.ref.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.ref.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.first_waiter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.vmm.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.owner.counter | 0 |
| PARAM_VALUE | 0 | vmm->name | 572916574821515264,1259478317585096704,1589294372859043840,3855178936993570816,7242409991763337216,7398912313877254144,8270121927594450944 |
| PARAM_VALUE | 0 | vmm->pd | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->pd->page | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 0 | vmm->pd->refs | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->pd->sparse | 0 |
| PARAM_VALUE | 0 | vmm->start | 0 |
| PARAM_VALUE | 2 | size | 1-u64max |
| BUF_SIZE | 0 | vmm->name | 4-5,12,14 |
| BUF_SIZE | 0 | vmm->pd | 40-s32max |
| CAPPED_DATA | 0 | vmm->managed.p.size | 1 |
| DATA_SOURCE | 0 | vmm | $8 |
| STR_LEN | 0 | vmm->func | (-1),4 |
| PARAM_COMPARE | 1 | addr | >= $1 |
| BIT_INFO | 0 | vmm->free | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | vmm->root | 0x0,0x7fffffffffffffff |
| POWER_OF_TWO | 0 | *vmm | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.p.size | |
| NO_OVERFLOW_SIMPLE | 1 | addr | |
| NO_OVERFLOW_SIMPLE | 2 | size | |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |