Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/switch.c tb_port_alloc_in_hopid() -> tb_port_alloc_hopid()

Type Parameter Key Value
PARAM_VALUE 0 port 1-u64max
PARAM_VALUE 1 in 1
DATA_SOURCE 0 port $0
DATA_SOURCE 2 min_hopid $1
DATA_SOURCE 3 max_hopid $2
STR_LEN 0 port (-1),5-7,9
STR_LEN 0 port (-1),5-7,9
RX_PATH
TASK_NOT_RUNNING

drivers/thunderbolt/switch.c tb_port_alloc_out_hopid() -> tb_port_alloc_hopid()

Type Parameter Key Value
PARAM_VALUE 1 in 0
DATA_SOURCE 0 port $0
DATA_SOURCE 2 min_hopid $1
DATA_SOURCE 3 max_hopid $2
RX_PATH
TASK_NOT_RUNNING