Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_notify_link_state() -> i40e_vc_notify_vf_link_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_process_vf_msg() -> i40e_vc_notify_vf_link_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_last_status | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *vf->default_lan_addr.addr | 0-255 |
| PARAM_COMPARE | 0 | vf->pf->num_alloc_vfs | > $0->vf_id |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_process_vf_msg() -> i40e_vc_notify_vf_link_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->is_disabled_from_host | 0 |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_last_status | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vf->pf->hw.aq.asq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vf->pf->num_alloc_vsi | 1-u16max |
| PARAM_VALUE | 0 | vf->pf->vsi | 4096-ptr_max |
| CAPPED_DATA | 0 | vf->pf->num_alloc_vsi | 1 |
| CAPPED_DATA | 0 | vf->vf_id | 1 |
| PARAM_COMPARE | 0 | vf->pf->num_alloc_vfs | > $0->vf_id |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |