Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c notify_bulks() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 0 | state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 0 | state->remote->sync_release.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->instance | 1-u64max |
| PARAM_VALUE | 1 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 1 | service->state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 1 | service->state->remote->sync_release.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 2 | poll_type | 2-3 |
| DATA_SOURCE | 1 | service | $0 |
| FUZZY_MAX | 2 | poll_type | 3 |
| BIT_INFO | 2 | poll_type | 0x2,0x3 |
| HARD_MAX | 2 | poll_type | 3 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c poll_services_of_group() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 2 |
| PARAM_VALUE | 0 | state->local | 4096-ptr_max |
| PARAM_VALUE | 0 | state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 0 | state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->poll_needed | 0-1 |
| PARAM_VALUE | 0 | state->poll_services | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->bulk_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->client_id | 0 |
| PARAM_VALUE | 1 | service->public_fourcc | 0 |
| PARAM_VALUE | 1 | service->remoteport | 4096 |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->quota_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 1 | service->state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 1 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->sync_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->sync_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | *service->state->remote->slot_queue | s32min-s32max |
| PARAM_VALUE | 1 | *service->state->services | 0 |
| PARAM_VALUE | 2 | poll_type | 1 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
| DATA_SOURCE | 1 | service | r find_service_by_port |
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c poll_services_of_group() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 2 |
| PARAM_VALUE | 0 | state->local | 4096-ptr_max |
| PARAM_VALUE | 0 | state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 0 | state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->poll_needed | 0-1 |
| PARAM_VALUE | 0 | state->poll_services | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->bulk_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->bulk_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->bulk_remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->client_id | 0 |
| PARAM_VALUE | 1 | service->remoteport | 4096 |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->data_quota_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->local->sync_release.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->sync_release.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->quota_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->slot_first | 0,2,33-34 |
| PARAM_VALUE | 1 | service->state->remote->slot_last | 0,31-32,63-64 |
| PARAM_VALUE | 1 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_available_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->sync_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->sync_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->sync_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | *service->state->remote->slot_queue | s32min-s32max |
| PARAM_VALUE | 1 | *service->state->services | 0 |
| PARAM_VALUE | 2 | poll_type | 0 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
| DATA_SOURCE | 1 | service | r find_service_by_port |
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->closing | 1 |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->srvstate | s32min-(-1),3-s32max |
| PARAM_VALUE | 1 | service->state | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | poll_type | 0 |
| DATA_SOURCE | 1 | service | r find_service_by_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &chip->audio_mutex | ||
| HALF_LOCKED2 | &instance->vchi_mutex | ||
| HALF_LOCKED2 | &instance->vchiq_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_remove_service() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->closing | 1 |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->srvstate | s32min-(-1),2-s32max |
| PARAM_VALUE | 1 | service->state | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | poll_type | 1 |
| DATA_SOURCE | 1 | service | r find_service_by_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_terminate_service_internal() -> request_poll()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->base.userdata | 4096-ptr_max |
| PARAM_VALUE | 1 | service->closing | 1 |
| PARAM_VALUE | 1 | service->instance | 4096-ptr_max |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->srvstate | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | service->state | 4096-ptr_max |
| PARAM_VALUE | 1 | service->state->local->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | service->state->local->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->recycle_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | service->state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | poll_type | 1 |
| DATA_SOURCE | 1 | service | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |