Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/bus/imx-weim.c of_weim_notify() -> of_platform_device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 data 0
NOCHECK_CALL

drivers/mmc/host/cavium-thunderx.c thunder_mmc_probe() -> of_platform_device_destroy()

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

drivers/usb/core/../misc/onboard_usb_dev_pdevs.c onboard_dev_create_pdevs() -> of_platform_device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 dev 16,4096-ptr_max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/core/../misc/onboard_usb_dev_pdevs.c onboard_dev_destroy_pdevs() -> of_platform_device_destroy()

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

drivers/mmc/host/meson-mx-sdio.c meson_mx_mmc_probe() -> of_platform_device_destroy()

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

drivers/mmc/host/meson-mx-sdio.c meson_mx_mmc_remove() -> of_platform_device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/phy/ti/phy-j721e-wiz.c wiz_remove() -> of_platform_device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/of/platform.c of_platform_notify() -> of_platform_device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 data 7039783059196112896
NOCHECK_CALL

drivers/base/core.c device_for_each_child() -> device_for_each_child param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
DATA_SOURCE 0 dev r next_device
DATA_SOURCE 1 data $1

drivers/base/core.c device_for_each_child_reverse() -> device_for_each_child_reverse param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 data 0,4096-ptr_max
BUF_SIZE 1 data (-1),4,16,24
BUF_SIZE 1 data (-1),4,16,24
DATA_SOURCE 0 dev r prev_device
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &nh->srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &ptp->n_vclocks_mux