Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/thunderbolt/tunnel.c tb_dp_alloc_bandwidth() -> tb_dp_bandwidth_mode_maximum_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->alloc_bandwidth | 1-u64max |
| 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->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->dev->iommu->lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain->pd_mode | 0-2 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain->pscid | (-4095)-s32max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain_attached | 1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.domid | 0-u16max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.gcr3_tbl | 0,s64max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.glx | 0-3 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->ppr | 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->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->request_queue_lock.osq.tail.counter | s32min-s32max |
| 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 | max_bw_rounded | 5120927535639793664 |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/tunnel.c tb_dp_allocated_bandwidth() -> tb_dp_bandwidth_mode_maximum_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->allocated_bandwidth | 1-u64max |
| PARAM_VALUE | 0 | tunnel->bw_mode | 1 |
| 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->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_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->dev->iommu->pci_32bit_workaround | 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->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->request_queue_lock.osq.tail.counter | 0-s32max |
| 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 | max_bw_rounded | 2326818945928491008 |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/tunnel.c tb_dp_bandwidth_mode_consumed_bandwidth() -> tb_dp_bandwidth_mode_maximum_bandwidth()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tunnel | 4096-ptr_max |
| PARAM_VALUE | 0 | tunnel->bw_mode | 1 |
| 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_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->dev->iommu->pci_32bit_workaround | 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->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->request_queue_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->tx->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tunnel->state | 1-2 |
| PARAM_VALUE | 1 | max_bw_rounded | 4337698850335010816 |
| DATA_SOURCE | 0 | tunnel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &tb->lock |
drivers/thunderbolt/tunnel.c tb_dp_maximum_bandwidth() -> tb_dp_bandwidth_mode_maximum_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->dev->iommu->lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain->pd_mode | 0-2 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain->pscid | (-4095)-s32max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->domain_attached | 1 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.domid | 0-u16max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.gcr3_tbl | 0,s64max |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->gcr3_info.glx | 0-3 |
| PARAM_VALUE | 0 | tunnel->src_port->sw->tb->ctl->frame_pool->dev->iommu->priv->ppr | 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->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->request_queue_lock.osq.tail.counter | 0-s32max |
| 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 | max_bw_rounded | 0 |
| CAPPED_DATA | 0 | tunnel->dst_port->sw->config.depth | 1 |
| DATA_SOURCE | 0 | tunnel | $0 |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |