Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mfd/madera-core.c madera_dev_exit() -> mfd_remove_devices_late()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->bus 0,4096-ptr_max
PARAM_VALUE 0 parent->class 0,4096-ptr_max
PARAM_VALUE 0 parent->power.disable_depth 1-7
PARAM_VALUE 0 parent->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 parent->power.request_pending 0
PARAM_VALUE 0 parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 parent->power.runtime_status 0,2
PARAM_VALUE 0 parent->power.timer_expires 0
PARAM_VALUE 0 parent->power.usage_count.counter 0-s32max
PARAM_VALUE 0 parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 parent->type 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex