Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c do_abort_bulks() -> notify_bulks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->closing | 1 |
| PARAM_VALUE | 0 | service->instance->state->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.first_waiter->up | 1 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 4-6 |
| PARAM_VALUE | 0 | service->state | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | queue | 4096-ptr_max |
| PARAM_VALUE | 2 | retry_poll | 0 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| CAPPED_DATA | 0 | &service->bulk_mutex | 1 |
| CAPPED_DATA | 0 | &service->bulk_rx | 1 |
| CAPPED_DATA | 0 | &service->bulk_tx | 1 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c do_abort_bulks() -> notify_bulks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->closing | 1 |
| PARAM_VALUE | 0 | service->instance->state->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.first_waiter->up | 1 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 4-6 |
| PARAM_VALUE | 0 | service->state | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | queue | 4096-ptr_max |
| PARAM_VALUE | 2 | retry_poll | 0 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| CAPPED_DATA | 0 | &service->bulk_mutex | 1 |
| CAPPED_DATA | 0 | &service->bulk_rx | 1 |
| CAPPED_DATA | 0 | &service->bulk_tx | 1 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> notify_bulks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_mutex.count | 0-4294967295 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_mutex.first_waiter->up | 1 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_mutex.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_mutex.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_mutex.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.count | 0-4294967295 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.first_waiter->up | 1 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->instance->state->dev->driver_data->free_fragments_sema.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 0-4095 |
| PARAM_VALUE | 0 | service->srvstate | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | *service->instance->state->dev->driver_data->free_fragments | 0-255 |
| PARAM_VALUE | 1 | queue | 4096-ptr_max |
| PARAM_VALUE | 1 | queue->bulks | 4096-ptr_max |
| PARAM_VALUE | 2 | retry_poll | 1 |
| BUF_SIZE | 1 | queue | 344 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| CAPPED_DATA | 0 | &service->bulk_mutex | 1 |
| DATA_SOURCE | 0 | service | r find_service_by_port |
| PARAM_COMPARE | 1 | queue->process | <= $1->remote_insert |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c poll_services_of_group() -> notify_bulks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 0 | service->state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 0 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | queue | 4096-ptr_max |
| PARAM_VALUE | 2 | retry_poll | 1 |
| DATA_SOURCE | 0 | service | r find_service_by_port |
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c poll_services_of_group() -> notify_bulks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 0 | service->state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 0 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | queue | 4096-ptr_max |
| PARAM_VALUE | 2 | retry_poll | 1 |
| DATA_SOURCE | 0 | service | r find_service_by_port |
| NOCHECK_CALL |