Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/net/ethernet/intel/e1000/e1000_main.c, line 3494 (as a function)
- drivers/net/ethernet/intel/e1000e/netdev.c, line 5970 (as a function)
Referenced in 2 files:
- drivers/net/ethernet/intel/e1000/e1000_main.c, line 827
- drivers/net/ethernet/intel/e1000e/netdev.c, line 7355
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 |