Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c close_service_complete() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 4,6-7 |
| 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 | 0 | *service->state->remote->slot_queue | s32min-s32max |
| PARAM_VALUE | 1 | newstate | 2,8-9 |
| DATA_SOURCE | 0 | service | $0 |
| FUZZY_MAX | 1 | newstate | 9 |
| BIT_INFO | 1 | newstate | 0x0,0xb |
| HARD_MAX | 1 | newstate | 9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c close_service_complete() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->base.callback | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 2,8-9 |
| 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 | 0 | *service->state->remote->slot_queue | s32min-s32max |
| PARAM_VALUE | 1 | newstate | 7 |
| DATA_SOURCE | 0 | service | $0 |
| DATA_SOURCE | 1 | newstate | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 0-4095 |
| PARAM_VALUE | 0 | service->srvstate | 3 |
| PARAM_VALUE | 1 | newstate | 4 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| DATA_SOURCE | 0 | service | r find_service_by_port |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_open() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 4096 |
| PARAM_VALUE | 0 | service->srvstate | 2 |
| PARAM_VALUE | 0 | service->sync | 1-255 |
| PARAM_VALUE | 1 | newstate | 5 |
| CAPPED_DATA | 0 | service->version_min | 1 |
| DATA_SOURCE | 0 | service | r get_listening_service |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_open() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 4096 |
| PARAM_VALUE | 0 | service->srvstate | 2 |
| PARAM_VALUE | 0 | service->sync | 0 |
| PARAM_VALUE | 1 | newstate | 4 |
| CAPPED_DATA | 0 | service->version_min | 1 |
| DATA_SOURCE | 0 | service | r get_listening_service |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c queue_message() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 3-5 |
| 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 | 1 | newstate | 6 |
| DATA_SOURCE | 0 | service | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->slot_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c sync_func() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 0-4095 |
| PARAM_VALUE | 0 | service->srvstate | 3 |
| PARAM_VALUE | 1 | newstate | 5 |
| DATA_SOURCE | 0 | service | r find_service_by_port |
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_add_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->auto_close | 1 |
| PARAM_VALUE | 0 | service->base.callback | 1-u64max |
| PARAM_VALUE | 0 | service->base.fourcc | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | service->bulk_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->bulk_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | service->bulk_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | service->bulk_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | service->bulk_remove_event.done | 0 |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.lock.magic | 3735899821 |
| 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->bulk_remove_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->bulk_remove_event.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->instance | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_pop.done | 0 |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_pop.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_push.done | 0 |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->msg_queue_push.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->poll_flags.counter | 0 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | service->remoteport | 4096 |
| PARAM_VALUE | 0 | service->remove_event.done | 0 |
| PARAM_VALUE | 0 | service->remove_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | service->remove_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->remove_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->remove_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->remove_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->remove_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->remove_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->remove_event.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | service->srvstate | 0 |
| PARAM_VALUE | 0 | service->state | 4096-ptr_max |
| PARAM_VALUE | 1 | newstate | 1-3 |
| BUF_SIZE | 0 | service | 2448 |
| BUF_SIZE | 0 | service->base.userdata | 288,235432 |
| BUF_SIZE | 0 | service->instance | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | service | r _kzalloc_noprof |
| DATA_SOURCE | 1 | newstate | $2 |
| FUZZY_MAX | 1 | newstate | 2 |
| HARD_MAX | 1 | newstate | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->client_id | 0 |
| PARAM_VALUE | 0 | service->public_fourcc | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->remoteport | 4096 |
| PARAM_VALUE | 0 | service->srvstate | 8 |
| PARAM_VALUE | 1 | newstate | 2 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->closing | 1 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 3 |
| 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 | s32min-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 | s32min-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 | newstate | 8 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| 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->data_quota_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->dev | 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->quota_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->remote | 4096-ptr_max |
| 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 | 1 |
| PARAM_VALUE | 0 | service->state->slot_available_event.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->sync_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->sync_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | service->state->sync_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->sync_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->tx_data | 4096-ptr_max |
| PARAM_VALUE | 1 | newstate | 6 |
| CAPPED_DATA | 0 | service->state->remote->slot_last | 1 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->sync_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> set_service_state()
| 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_remove_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->closing | 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->data_quota_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->data_quota_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->dev | 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->quota_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->recycle_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->remote | 4096-ptr_max |
| 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 | 1 |
| PARAM_VALUE | 0 | service->state->slot_available_event.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_available_event.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | service->state->slot_mutex.dep_map->name | 0-255 |
| 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 | s32min-s32max |
| PARAM_VALUE | 0 | service->state->slot_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | service->state->sync_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->sync_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | service->state->sync_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | service->state->sync_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | service->state->sync_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | service->state->tx_data | 4096-ptr_max |
| PARAM_VALUE | 1 | newstate | 7 |
| CAPPED_DATA | 0 | service->remoteport | 1 |
| CAPPED_DATA | 0 | service->state->remote->slot_last | 1 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->sync_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->public_fourcc | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 7 |
| PARAM_VALUE | 1 | newstate | 2 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_connect_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->instance | 4096-ptr_max |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 1 |
| PARAM_VALUE | 1 | newstate | 2 |
| DATA_SOURCE | 0 | service | r next_service_by_instance |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &state->mutex | ||
| HALF_LOCKED2 | &instance->state->mutex | ||
| TYPE_LOCK | (struct vchiq_state)->mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_free_service_internal() -> set_service_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | service | 4096-ptr_max |
| PARAM_VALUE | 0 | service->public_fourcc | 0 |
| PARAM_VALUE | 0 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | service->srvstate | 1-3,8-9 |
| 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.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->sync_release.fired | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 0 | service->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | *service->state->remote->slot_queue | s32min-s32max |
| PARAM_VALUE | 1 | newstate | 0 |
| DATA_SOURCE | 0 | service | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |