Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_usb3() -> tb_usb3_init_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->path_length 0-1073741823
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path->name 10
DATA_SOURCE 0 path r tb_path_alloc
STR_LEN 0 path->name 9
TERMINATED 0 path->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_usb3() -> tb_usb3_init_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->path_length 0-1073741823
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path 48-s32max
BUF_SIZE 0 path->name 8
DATA_SOURCE 0 path r tb_path_alloc
STR_LEN 0 path->name 7
TERMINATED 0 path->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/tunnel.c tb_tunnel_discover_usb3() -> tb_usb3_init_path()

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

drivers/thunderbolt/tunnel.c tb_tunnel_discover_usb3() -> tb_usb3_init_path()

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