Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/hda/codecs/hdmi/tegrahdmi.c tegrahdmi_probe() -> tegra_hdmi_init()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->bus 1-u64max
PARAM_VALUE 0 codec->core.bus->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.regmap 0-ptr_max
PARAM_VALUE 0 codec->core.vendor_verbs.alloc_align 8
PARAM_VALUE 0 codec->core.vendor_verbs.elem_size 4
PARAM_VALUE 0 codec->preset 4096-ptr_max
PARAM_VALUE 0 codec->spec 4096-ptr_max
DATA_SOURCE 0 codec $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 codec->core.num_nodes
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock

drivers/gpu/host1x/bus.c host1x_device_init() -> (struct host1x_client_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->ops 4096-ptr_max
PARAM_VALUE 0 codec->ops->early_init 0,1022023491359272960
PARAM_VALUE 0 codec->ops->init 4096-ptr_max
CONTAINER 0 -8-40+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &device->clients_lock
TYPE_LOCK (struct host1x_device)->clients_lock