Open Menu /

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:

drivers/rapidio/rio-driver.c rio_device_probe() -> rio_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->driver 0
PARAM_VALUE 0 rdev->rswitch->ops 0,2463549438424051712,3371300137194262528,7132764274137407488
PARAM_VALUE 0 rdev->rswitch->ops->add_entry 2008660638152142848,5685521295755255808,6144060391703113728
PARAM_VALUE 0 rdev->rswitch->ops->clr_table 820787216508502016,7027984329901707264,8706130650879397888
PARAM_VALUE 0 rdev->rswitch->ops->em_handle 0,3586848788839112704,7054383955992649728
PARAM_VALUE 0 rdev->rswitch->ops->em_init 0,5959894826039427072,8627083258166235136
PARAM_VALUE 0 rdev->rswitch->ops->get_domain 0,1601483708345438208,4728911909668831232
PARAM_VALUE 0 rdev->rswitch->ops->get_entry 2289950018687733760,2835172624949997568,4219585700389863424
PARAM_VALUE 0 rdev->rswitch->ops->set_domain 0,663671604985610240,8092615938196201472
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rapidio/rio-driver.c rio_device_remove() -> rio_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->driver 0
PARAM_VALUE 0 rdev->rswitch->ops 0,2463549438424051712,3371300137194262528,7132764274137407488
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/rapidio/devices/rio_mport_cdev.c rio_mport_del_riodev() -> rio_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.parent 4096-ptr_max
CAPPED_DATA 0 rdev->dev.parent 1
NOCHECK_CALL