Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

sound/soc/sof/sof-of-dev.c sof_of_remove() -> snd_sof_device_remove()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->power.disable_depth 1-7
PARAM_VALUE 0 dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.runtime_status 0,2
PARAM_VALUE 0 dev->power.usage_count.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

sound/soc/sof/sof-pci-dev.c sof_pci_remove() -> snd_sof_device_remove()

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

sound/soc/sof/sof-acpi-dev.c sof_acpi_remove() -> snd_sof_device_remove()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev 1616
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex