Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/base/core.c device_add() -> device_set_driver()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 drv 0
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->bus 1
DATA_SOURCE 0 dev $0 [m]
NOCHECK_CALL

drivers/base/dd.c __device_attach() -> device_set_driver()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 1 drv 0
BUF_SIZE 0 dev (-1)-0,1616
BUF_SIZE 0 dev (-1)-0,1616
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dev->mutex
HALF_LOCKED2 0 &dev->parent->mutex
TYPE_LOCK (struct device)->mutex

drivers/base/dd.c device_unbind_cleanup() -> device_set_driver()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 1 drv 0
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->bus 1
CAPPED_DATA 0 dev->driver 1
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 0 &dev->mutex

drivers/base/dd.c really_probe() -> device_set_driver()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 0
PARAM_VALUE 1 drv 4096-ptr_max
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
CAPPED_DATA 0 &dev->devres_head 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mutex