Defined in 2 files as a function:
- drivers/infiniband/core/cma.c, line 1647 (as a function)
- drivers/leds/trigger/ledtrig-netdev.c, line 186 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/core/cma.c cma_ib_id_from_event() -> validate_net_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | daddr | 4069056442314043520 |
| PARAM_VALUE | 2 | saddr | 4069056442314043392 |
| BUF_SIZE | 1 | daddr | 128 |
| BUF_SIZE | 2 | saddr | 128 |
| DATA_SOURCE | 0 | net_dev | r cma_get_net_dev |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &lock | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
drivers/leds/trigger/ledtrig-netdev.c can_hw_control() -> validate_net_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | net_dev->hw_control_get | 1-u64max |
| PARAM_VALUE | 0 | net_dev->hw_control_is_supported | 1-u64max |
| PARAM_VALUE | 0 | net_dev->hw_control_set | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | daddr | unit_byte |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &trigger_data->lock |