Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/renesas/rswitch_l2.c rswitch_update_l2_hw_forwarding() -> rswitch_change_l2_hw_offloading()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->brdev 1-u64max
PARAM_VALUE 0 rdev->forwarding_offloaded 0
PARAM_VALUE 0 rdev->forwarding_requested 1
PARAM_VALUE 0 rdev->priv 4096-ptr_max
PARAM_VALUE 0 rdev->priv->offload_brdev 1-u64max
PARAM_VALUE 1 start 1
PARAM_VALUE 2 learning 0
CAPPED_DATA 0 rdev->brdev 1
CAPPED_DATA 0 rdev->priv->offload_brdev 1
CAPPED_DATA 0 &rdev->list 1
PARAM_COMPARE 0 rdev->brdev == $0->priv->offload_brdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/renesas/rswitch_l2.c rswitch_update_l2_hw_forwarding() -> rswitch_change_l2_hw_offloading()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->forwarding_offloaded 1
PARAM_VALUE 0 rdev->priv 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 learning 0
CAPPED_DATA 0 &rdev->list 1
PARAM_COMPARE 0 rdev->brdev >= $0->priv->offload_brdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/renesas/rswitch_l2.c rswitch_update_l2_hw_learning() -> rswitch_change_l2_hw_offloading()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->priv 4096-ptr_max
PARAM_VALUE 2 learning 1
CAPPED_DATA 0 &rdev->list 1
PARAM_COMPARE 0 rdev->brdev >= $0->priv->offload_brdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL