Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/emulex/benet/be_main.c be_vxlan_set_port() -> be_cmd_set_vxlan_port()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->db 4096-ptr_max
PARAM_VALUE 0 adapter->if_handle s32min-(-2),0-s32max
PARAM_VALUE 0 adapter->mcc_cq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mcc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mcc_obj.q.created 1
PARAM_VALUE 0 adapter->mcc_obj.q.len 1-u32max
PARAM_VALUE 0 adapter->mcc_obj.q.used.counter 0
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->mcc_obj.q.len 1
BIT_INFO 0 adapter->flags 0x100,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->ethtool->rss_lock
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &utn->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/emulex/benet/be_main.c be_vxlan_unset_port() -> be_cmd_set_vxlan_port()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->vxlan_port 1-u16max
PARAM_VALUE 1 port 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL