Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/hda/controllers/intel.c azx_free() -> snd_hda_unlock_devices()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/hda/controllers/intel.c azx_vs_can_switch() -> snd_hda_unlock_devices()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->card 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vgasr_mutex

sound/hda/controllers/intel.c azx_vs_set_state() -> snd_hda_unlock_devices()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vgasr_mutex

sound/hda/common/codec.c snd_hda_codec_reset() -> snd_hda_unlock_devices()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->card 4096-ptr_max
PARAM_VALUE 0 bus->card->shutdown 1
PARAM_COMPARE 0 &bus->card->ctl_files == $0->card->ctl_files.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex