Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/3com/typhoon.c typhoon_issue_command() -> typhoon_num_free_cmd()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->indexes->cmdCleared 0
BUF_SIZE 0 tp->pdev (-1),1-s32max
BUF_SIZE 0 tp->shared (-1),6580
BUF_SIZE 0 tp->tx_pdev (-1),1-s32max
DATA_SOURCE 0 tp $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 tp->pdev->bus->bridge_ctl 0-u16max
HOST_DATA 0 tp->pdev->current_state 0-3[c]
HOST_DATA 0 tp->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 tp->tx_pdev->current_state 0-3[c]
LOCK2 0 &tp->command_lock
TYPE_LOCK (struct typhoon)->command_lock