Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/ixgbe/ixgbe_debugfs.c ixgbe_dbg_netdev_ops_write() -> (struct net_device_ops)->ndo_tx_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | netdev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | txqueue | u32max |
| CONTAINER | 0 | *(-168-8+0) | $(-1) |
| NOCHECK_CALL |
net/sched/sch_generic.c dev_watchdog() -> (struct net_device_ops)->ndo_tx_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | netdev->dev.parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | netdev->dev.parent->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | netdev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | netdev->num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | netdev->tx_global_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *netdev->name | 0-255 |
| PARAM_VALUE | 1 | txqueue | 0-4294967294 |
| CAPPED_DATA | 0 | netdev->num_tx_queues | 1 |
| CAPPED_DATA | 1 | txqueue | 1 |
| CONTAINER | 0 | -168-8+0 | $(-1) |
| PARAM_COMPARE | 0 | netdev->num_tx_queues | > $1 |
| PARAM_COMPARE | 1 | txqueue | < $0->num_tx_queues |
| CONSTRAINT | 1 | txqueue | <3121 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &netdev->tx_global_lock | |
| TYPE_LOCK | (struct net_device)->tx_global_lock |