Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/icom.c icom_load_ports() -> icom_port_active()

Type Parameter Key Value
PARAM_VALUE 0 icom_port 4096-ptr_max
PARAM_VALUE 1 icom_adapter 4096-ptr_max
PARAM_VALUE 2 port_num 0-3
BUF_SIZE 1 icom_adapter->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 2 port_num 1
DATA_SOURCE 1 icom_adapter $0
PARAM_COMPARE 1 icom_adapter->numb_ports > $2
PARAM_COMPARE 2 port_num < $1->numb_ports
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 icom_adapter->pci_dev->current_state 0-3[c]