Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/thunderbolt/tb.c tb_alloc_dp_bandwidth() -> tb_tunnel_alloc_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->allocated_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->dst_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->dst_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->maximum_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->src_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->config.type | 917761 |
| PARAM_VALUE | 0 | tunnel->src_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->is_unplugged | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->dma_io_tlb_mem->dyn_alloc.is_queued | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->next_block->next_block | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->tx->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->state | 2 |
| PARAM_VALUE | 0 | tunnel->type | 1 |
| PARAM_VALUE | 1 | alloc_up | 1933867827922309120 |
| PARAM_VALUE | 1 | *alloc_up | (-1)-s32max |
| PARAM_VALUE | 2 | alloc_down | 1725883138976419840 |
| PARAM_VALUE | 2 | *alloc_down | (-1)-s32max |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| DATA_SOURCE | 1 | alloc_up | $1 |
| DATA_SOURCE | 2 | alloc_down | $2 |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/tb.c tb_alloc_dp_bandwidth() -> tb_tunnel_alloc_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->allocated_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->dst_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->dst_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->maximum_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->src_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->config.type | 917761 |
| PARAM_VALUE | 0 | tunnel->src_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->is_unplugged | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->dma_io_tlb_mem->dyn_alloc.is_queued | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->next_block->next_block | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->tx->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->state | 2 |
| PARAM_VALUE | 0 | tunnel->tb->root_switch | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->type | 1 |
| PARAM_VALUE | 1 | alloc_up | 1933867827922309120 |
| PARAM_VALUE | 1 | *alloc_up | (-1)-s32max |
| PARAM_VALUE | 2 | alloc_down | 1725883138976419840 |
| PARAM_VALUE | 2 | *alloc_down | (-1)-s32max |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| DATA_SOURCE | 1 | alloc_up | $1 |
| DATA_SOURCE | 2 | alloc_down | $2 |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/tb.c tb_alloc_dp_bandwidth() -> tb_tunnel_alloc_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->allocated_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->dst_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->dst_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->sw | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->dma_io_tlb_mem->dyn_alloc.is_queued | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->next_block->next_block | 0 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->request_queue_lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | tunnel->state | 2 |
| PARAM_VALUE | 0 | tunnel->type | 1 |
| PARAM_VALUE | 1 | alloc_up | 472188284087349248 |
| PARAM_VALUE | 2 | alloc_down | 1303461466129002496 |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |