Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/usb4.c usb4_switch_op() -> __usb4_switch_op()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 sw->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sw->nvm->vops->validate 0,4969815085320704000,8746475639591444480
PARAM_VALUE 0 sw->nvm->vops->write_headers 0,8395314951524048896
PARAM_VALUE 1 opcode 16-18,33,35,37
PARAM_VALUE 2 metadata 0,1633275983797702656,2412762977328943104,3197988308242034688,3431295210662207488,8080055873190432768
PARAM_VALUE 3 status 0,934205567152746496,1277893642037432320,4789212651462107136,5362606507081494528,7504395169494138880
PARAM_VALUE 3 *status 0-63
PARAM_VALUE 4 tx_data 0
PARAM_VALUE 5 tx_dwords 0
PARAM_VALUE 6 rx_data 0
PARAM_VALUE 7 rx_dwords 0
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
DATA_SOURCE 0 sw $0
DATA_SOURCE 1 opcode $1
DATA_SOURCE 2 metadata $2
DATA_SOURCE 3 status $3
HARD_MAX 1 opcode 37
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 0 &sw->tb->lock

drivers/thunderbolt/usb4.c usb4_switch_op_data() -> __usb4_switch_op()

Type Parameter Key Value
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 sw->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 sw->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sw->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sw->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 opcode 32,34,36,51
PARAM_VALUE 2 metadata 0,1267049393841803264,4364295179374190592,8884698522537979904
PARAM_VALUE 2 *metadata 0-268435455
PARAM_VALUE 3 status 861304161158574080,1870065083185020928,4048150608149348352,4570751772452679680
PARAM_VALUE 3 *status 0-63
PARAM_VALUE 4 tx_data 0,2839573137693999104
PARAM_VALUE 5 tx_dwords 0-16
PARAM_VALUE 6 rx_data 0,6912777465249689600,9053261570843287552
PARAM_VALUE 7 rx_dwords 0-16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
BUF_SIZE 4 tx_data (-1),64
BUF_SIZE 4 tx_data (-1),64
BUF_SIZE 6 rx_data (-1),64
BUF_SIZE 6 rx_data (-1),64
CAPPED_DATA 5 tx_dwords 1
CAPPED_DATA 5 tx_dwords 1
CAPPED_DATA 7 rx_dwords 1
CAPPED_DATA 7 rx_dwords 1
DATA_SOURCE 0 sw $0
DATA_SOURCE 1 opcode $1
DATA_SOURCE 2 metadata $2
DATA_SOURCE 3 status $3
DATA_SOURCE 4 tx_data $4
DATA_SOURCE 5 tx_dwords $5
DATA_SOURCE 6 rx_data $6
DATA_SOURCE 7 rx_dwords $7
HARD_MAX 1 opcode 51
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *metadata 0-268435455[c]
USER_DATA 7 rx_dwords 0-16[c]
UNITS 7 rx_dwords unit_array_size
USER_PTR 2 metadata
HALF_LOCKED2 &of->mutex