Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/thunderbolt/switch.c tb_switch_lane_bonding_enable() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 1 width 2
DATA_SOURCE 0 port r tb_upstream_port
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_lane_bonding_enable() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 0 port 0,4096-ptr_max
PARAM_VALUE 1 width 2
DATA_SOURCE 0 port r tb_switch_downstream_port
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tb.c tb_asym_supported() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->config.type 1
PARAM_VALUE 0 port->port 1-255
PARAM_VALUE 1 width 4,8
CAPPED_DATA 0 port 1
DATA_SOURCE 0 port $2
FUZZY_MAX 1 width 8
BIT_INFO 1 width 0x0,0xc
HARD_MAX 1 width 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/tb.c tb_configure_asym() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->config.type 1
PARAM_VALUE 0 port->port 1-255
PARAM_VALUE 0 port->sw 4096-ptr_max
PARAM_VALUE 1 width 4,8
CAPPED_DATA 0 port 1
FUZZY_MAX 1 width 8
PARAM_COMPARE 0 port->sw->link_width != $1
PARAM_COMPARE 1 width != $0->sw->link_width
BIT_INFO 1 width 0x0,0xc
HARD_MAX 1 width 8
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 &tb->lock
TYPE_LOCK (struct tb)->lock

drivers/thunderbolt/tb.c tb_configure_asym() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 0 port 0,4096-ptr_max
PARAM_VALUE 1 width 4,8
DATA_SOURCE 0 port r tb_switch_downstream_port
FUZZY_MAX 1 width 8
BIT_INFO 1 width 0x0,0xc
HARD_MAX 1 width 8
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 &tb->lock
TYPE_LOCK (struct tb)->lock

drivers/thunderbolt/debugfs.c margining_alloc() -> tb_port_width_supported()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cap_phy s32min-(-1),1-s32max
PARAM_VALUE 0 port->sw->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 port->sw->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 port->usb4 1-u64max
PARAM_VALUE 1 width 8
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock