Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/thunderbolt/switch.c tb_switch_alloc() -> tb_route_length()

Type Parameter Key Value
DATA_SOURCE 0 route $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_alloc_safe_mode() -> tb_route_length()

Type Parameter Key Value
PARAM_VALUE 0 route 0
DATA_SOURCE 0 route $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tb->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb)->lock

drivers/thunderbolt/switch.c tb_switch_configure() -> tb_route_length()

Type Parameter Key Value
PARAM_VALUE 0 route 0-9223372036854775807
DATA_SOURCE 0 route r tb_route
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/icm.c get_parent_route() -> tb_route_length()

Type Parameter Key Value
DATA_SOURCE 0 route $0
LOCK2 &tb->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb)->lock

drivers/thunderbolt/test.c alloc_switch() -> tb_route_length()

Type Parameter Key Value
PARAM_VALUE 0 route 0-1,3,769,771,1281,1283,1793,1795,197377,197379,328449,328963,329473,460545,50529025,50529027,50661121,50792193,12935430913,12935430915,12935694081,21525628673,3311470314241,3311470314243
DATA_SOURCE 0 route $1
HARD_MAX 0 route 3311470314243