Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/host1x/dev.c host1x_probe() -> host1x_memory_context_list_free()

Type Parameter Key Value
PARAM_VALUE 0 cdl 4096-ptr_max
PARAM_VALUE 0 cdl->devs 0,16,4096-ptr_max
PARAM_VALUE 0 cdl->len 0
PARAM_VALUE 0 cdl->lock.magic 4096-ptr_max
MEM_ZERO 0 cdl
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/host1x/dev.c host1x_remove() -> host1x_memory_context_list_free()

Type Parameter Key Value
PARAM_VALUE 0 cdl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex