Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/f81604.c f81604_close() -> f81604_unregister_urbs()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->clear_reg_work.lockdep_map->name 0-255
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->echo_skb_max 0-s32max
PARAM_VALUE 0 priv->netdev 4096-ptr_max
PARAM_VALUE 0 priv->restart_work.work.lockdep_map->name 0-255
CAPPED_DATA 0 priv->echo_skb_max 1
CAPPED_DATA 0 &priv->clear_reg_work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/usb/f81604.c f81604_register_urbs() -> f81604_unregister_urbs()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->can.state 4
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->netdev 4096-ptr_max
PARAM_VALUE 0 *priv->netdev->name 0-255
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/can/usb/f81604.c f81604_start() -> f81604_unregister_urbs()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->can.state 0,4
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->state 4-u32max
PARAM_VALUE 0 priv->netdev 4096-ptr_max
PARAM_VALUE 0 priv->urbs_anchor.urb_list.prev 40,4096-ptr_max
PARAM_VALUE 0 priv->urbs_anchor.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 priv->urbs_anchor.urb_list.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex