Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/thunderbolt/icm.c add_xdomain() -> tb_xdomain_alloc()

Type Parameter Key Value
PARAM_VALUE 0 tb->ctl->frame_pool->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 tb->ctl->frame_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 tb->ctl->frame_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 tb->ctl->request_queue_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 tb->ctl->request_queue_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 parent 1-u64max
PARAM_VALUE 1 parent->bus 0,4096-ptr_max
PARAM_VALUE 1 parent->class 0,4096-ptr_max
PARAM_VALUE 1 parent->power.request 0-4
PARAM_VALUE 1 parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 parent->type 0,4096-ptr_max
PARAM_VALUE 3 local_uuid 4096-ptr_max
PARAM_VALUE 4 remote_uuid 4096-ptr_max
DATA_SOURCE 2 route $1
DATA_SOURCE 3 local_uuid $2
DATA_SOURCE 4 remote_uuid $3
LOCK2 &tb->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb)->lock

drivers/thunderbolt/tb.c tb_scan_xdomain() -> tb_xdomain_alloc()

Type Parameter Key Value
PARAM_VALUE 0 tb 4096-ptr_max
PARAM_VALUE 0 tb->root_switch 4096-ptr_max
PARAM_VALUE 1 parent 4096-ptr_max
PARAM_VALUE 4 remote_uuid 0
DATA_SOURCE 2 route r tb_downstream_route
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tb->lock