Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nvkm/subdev/fault/base.c nvkm_fault_oneinit() -> nvkm_fault_oneinit_buffer()

Type Parameter Key Value
PARAM_VALUE 0 fault 4096-ptr_max
PARAM_VALUE 0 fault->func 4096-ptr_max
PARAM_VALUE 0 fault->func->buffer.nr 1-2
PARAM_VALUE 0 fault->subdev.device->imem->reserved 0-234752,524288-8568830
PARAM_VALUE 1 id 0-1
CAPPED_DATA 1 id 1
FUZZY_MAX 1 id 1
PARAM_COMPARE 0 fault->func->buffer.nr > $1
PARAM_COMPARE 1 id < $0->func->buffer.nr
HARD_MAX 1 id 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 id unit_array_size
LOCK2 &subdev->use.mutex
TYPE_LOCK (struct nvkm_subdev)->use.mutex