Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/atm/solos-pci.c solos_bh() -> process_command()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->config_regs 4096-ptr_max
PARAM_VALUE 0 card->nr_ports 1-s32max
PARAM_VALUE 0 card->tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->tx_mask 0-s32max
PARAM_VALUE 0 card->tx_queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port 0-s32max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->data_len 0
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
CAPPED_DATA 1 port 1
DATA_SOURCE 0 card $0
PARAM_COMPARE 0 card->nr_ports > $1
PARAM_COMPARE 1 port < $0->nr_ports