Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx5/core/dpll.c mlx5_dpll_probe() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 0 dpll->module 0
PARAM_VALUE 1 tracker 4096-ptr_max
PARAM_VALUE 1 *tracker 0,4096-ptr_max
BUF_SIZE 0 dpll (-1),272
BUF_SIZE 0 dpll (-1),272
CAPPED_DATA 0 dpll 1
DATA_SOURCE 0 dpll r dpll_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/mellanox/mlx5/core/dpll.c mlx5_dpll_remove() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 1 tracker 4096-ptr_max
CAPPED_DATA 0 dpll 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/dpll/zl3073x/dpll.c zl3073x_dpll_device_register() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 0 dpll->module 0
PARAM_VALUE 0 dpll->type 0-4294967295
PARAM_VALUE 1 tracker 4096-ptr_max
PARAM_VALUE 1 *tracker 0,4096-ptr_max
BUF_SIZE 0 dpll (-1),272
BUF_SIZE 0 dpll (-1),272
CAPPED_DATA 0 dpll 1
DATA_SOURCE 0 dpll r dpll_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/dpll/zl3073x/dpll.c zl3073x_dpll_device_unregister() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 1 tracker 4096-ptr_max
CAPPED_DATA 0 dpll 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ptp/ptp_ocp.c ptp_ocp_probe() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 0 dpll->module 0
PARAM_VALUE 0 dpll->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 dpll->refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dpll->type 1
PARAM_VALUE 1 tracker 4096-ptr_max
PARAM_VALUE 1 *tracker 0,4096-ptr_max
BUF_SIZE 0 dpll (-1),272
BUF_SIZE 0 dpll (-1),272
CAPPED_DATA 0 dpll 1
DATA_SOURCE 0 dpll r dpll_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dpll->clock_id 0[c]

drivers/ptp/ptp_ocp.c ptp_ocp_remove() -> dpll_device_put()

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

drivers/net/ethernet/intel/ice/ice_dpll.c ice_dpll_deinit_dpll() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 1 tracker 4096-ptr_max
NOCHECK_CALL

drivers/net/ethernet/intel/ice/ice_dpll.c ice_dpll_init_dpll() -> dpll_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dpll 4096-ptr_max
PARAM_VALUE 0 dpll->module 0
PARAM_VALUE 1 tracker 4096-ptr_max
PARAM_VALUE 1 *tracker 0,4096-ptr_max
BUF_SIZE 0 dpll (-1),272
BUF_SIZE 0 dpll (-1),272
CAPPED_DATA 0 dpll 1
DATA_SOURCE 0 dpll r dpll_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dpll->clock_id 0[c]