Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/hda/codecs/hdmi/hdmi.c snd_hda_hdmi_parse_codec() -> hdmi_add_pin()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->bus 4096-ptr_max
PARAM_VALUE 0 codec->bus->pci 0,4096-ptr_max
PARAM_VALUE 0 codec->core.bus->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.bus->rirb.rp 0-65534
PARAM_VALUE 0 codec->core.bus->rirb.wp 0-65534
PARAM_VALUE 0 codec->core.dev.power.request 0-4
PARAM_VALUE 0 codec->core.dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.in_pm.counter 0-s32max
PARAM_VALUE 0 codec->core.regmap 0-ptr_max
PARAM_VALUE 0 codec->core.regmap->cache_dirty 0-1
PARAM_VALUE 0 codec->core.start_nid 0-65532
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
PARAM_VALUE 1 pin_nid 1-65532
CAPPED_DATA 0 codec->core.start_nid 1
CAPPED_DATA 1 pin_nid 1
DATA_SOURCE 0 codec $0
PARAM_COMPARE 0 codec->core.start_nid <= $1
PARAM_COMPARE 1 pin_nid >= $0->core.start_nid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 codec->core.num_nodes
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock