Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/soundwire/intel_init.c sdw_intel_cleanup() -> intel_link_dev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 0 ldev->auxdev.dev.power.disable_depth 1-7
PARAM_VALUE 0 ldev->auxdev.dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ldev->auxdev.dev.power.request_pending 0
PARAM_VALUE 0 ldev->auxdev.dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ldev->auxdev.dev.power.runtime_status 0,2
PARAM_VALUE 0 ldev->auxdev.dev.power.timer_expires 0
PARAM_VALUE 0 ldev->auxdev.dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ldev->auxdev.dev.power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/soundwire/intel_init.c sdw_intel_probe_controller() -> intel_link_dev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ldev->auxdev.dev.power.wakeirq->status 0-4294967295
NOCHECK_CALL
HALF_LOCKED2 &pool->lock