Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_pci() -> tb_pci_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
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &sw->tb->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tunnel.c tb_tunnel_alloc_pci() -> tb_pci_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
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &sw->tb->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tunnel.c tb_tunnel_discover_pci() -> tb_pci_init_path()

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

drivers/thunderbolt/tunnel.c tb_tunnel_discover_pci() -> tb_pci_init_path()

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