Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/thunderbolt/usb4.c usb4_switch_add_ports() -> tb_switch_is_icm()

Type Parameter Key Value
DATA_SOURCE 0 sw $0

drivers/thunderbolt/switch.c tb_plug_events_active() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_port_unlock() -> tb_switch_is_icm()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_add_dma_port() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_configure_link() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_credits_init() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_link_init() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
CAPPED_DATA 0 sw->config.max_port_number 1
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_port_hotplug_enable() -> tb_switch_is_icm()

Type Parameter Key Value
DATA_SOURCE 0 sw $0

drivers/thunderbolt/switch.c tb_switch_unconfigure_link() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
CAPPED_DATA 0 sw 1
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/switch.c tb_switch_update_link_attributes() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw (-1),1968
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
CAPPED_DATA 0 sw 1
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/quirks.c quirk_usb3_maximum_bandwidth() -> tb_switch_is_icm()

Type Parameter Key Value
DATA_SOURCE 0 sw $0

drivers/thunderbolt/tmu.c tb_switch_tmu_init() -> tb_switch_is_icm()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 0 sw->config.enabled 1
DATA_SOURCE 0 sw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock

drivers/thunderbolt/clx.c tb_switch_clx_init() -> tb_switch_is_icm()

Type Parameter Key Value
DATA_SOURCE 0 sw $0

drivers/thunderbolt/pci.c icl_nhi_suspend() -> tb_switch_is_icm()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/thunderbolt/pci.c icl_nhi_suspend_noirq() -> tb_switch_is_icm()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex