Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_dp() -> tb_dp_init_aux_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->alloc_hopid 1
PARAM_VALUE 0 path->name 7907967756726915072
PARAM_VALUE 0 path->path_length 0-1073741823
PARAM_VALUE 0 path->tb 0,4096-ptr_max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path->name 7
DATA_SOURCE 0 path r tb_path_alloc
STR_LEN 0 path->name 6
STR_LEN 0 path->tb (-1),14,23
TERMINATED 0 path->name 1
NOCHECK_CALL
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_dp() -> tb_dp_init_aux_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->alloc_hopid 1
PARAM_VALUE 0 path->name 528298769611386880
PARAM_VALUE 0 path->path_length 0-1073741823
PARAM_VALUE 0 path->tb 0,4096-ptr_max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path->name 7
DATA_SOURCE 0 path r tb_path_alloc
STR_LEN 0 path->name 6
STR_LEN 0 path->tb (-1),14,23
TERMINATED 0 path->name 1
NOCHECK_CALL
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tunnel.c tb_tunnel_discover_dp() -> tb_dp_init_aux_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 pm_support 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tunnel.c tb_tunnel_discover_dp() -> tb_dp_init_aux_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 pm_support 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tb->lock