Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c handle_poll() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 3 |
| 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 |
| PARAM_VALUE | 0 | state->poll_needed | 0 |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 167772160 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 4 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c handle_poll() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 6 |
| 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 |
| PARAM_VALUE | 0 | state->poll_needed | 0 |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| PARAM_VALUE | 0 | state->remote->recycle.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->sync_trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 184549376 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 2 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_message() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 0-3,6-u32max |
| 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->remote | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| 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.fired | 0-1 |
| PARAM_VALUE | 0 | state->rx_data | 1-u64max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 167772160 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 4 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->poll_needed | 1 |
| RX_PATH |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_open() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| 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->remote | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| 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 | 0 | state->rx_data | 1-u64max |
| PARAM_VALUE | 0 | state->unused_service | 1-s32max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 3 | copy_callback | 6332558907596390400 |
| PARAM_VALUE | 4 | context | 3186338499614707712 |
| PARAM_VALUE | 5 | size | 2 |
| PARAM_VALUE | 6 | flags | 0 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 4 | context | 2 |
| CAPPED_DATA | 0 | state->unused_service | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->poll_needed | 1 |
| BIT_INFO | 2 | msgid | 0x3000000,0x7fffffff |
| RX_PATH | |||
| UNITS | 5 | size | unit_byte |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c parse_open() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| 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->remote | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->recycle.armed | 0-1 |
| 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 | 0 | state->rx_data | 1-u64max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 67108864-67112959 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 0 |
| BUF_SIZE | 0 | state | 128 |
| BUF_SIZE | 0 | state | 128 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->poll_needed | 1 |
| BIT_INFO | 2 | msgid | 0x4000000,0x4000fff |
| RX_PATH |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_bulk_xfer_queue_msg_killable() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->slot_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->slot_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 3 | copy_callback | 6332558907596390400 |
| PARAM_VALUE | 4 | context | 3208433950963466240 |
| PARAM_VALUE | 5 | size | 8 |
| PARAM_VALUE | 6 | flags | 7 |
| BUF_SIZE | 4 | context | 8 |
| CAPPED_DATA | 0 | &state->slot_mutex | 1 |
| BIT_INFO | 2 | msgid | 0x6000000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 5 | size | unit_byte |
| LOCK2 | &service->bulk_mutex | ||
| LOCK2 | 0 | &state->slot_mutex | |
| TYPE_LOCK | (struct vchiq_service)->bulk_mutex | ||
| TYPE_LOCK | (struct vchiq_state)->slot_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->srvstate | 3 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 0 |
| DATA_SOURCE | 1 | service | $0 |
| BIT_INFO | 2 | msgid | 0x4000000,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_close_service_internal() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state->sync_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->sync_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sync_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->sync_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->sync_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->sync_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->sync_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->srvstate | 4-5 |
| 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->remote | 4096-ptr_max |
| 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->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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service->state->sync_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | service->state->sync_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | service->state->sync_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 4 |
| CAPPED_DATA | 0 | &state->sync_mutex | 1 |
| CAPPED_DATA | 1 | service->state->remote->slot_last | 1 |
| DATA_SOURCE | 1 | service | $0 |
| BIT_INFO | 2 | msgid | 0x4000000,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &state->sync_mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_connect_internal() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 0 |
| PARAM_VALUE | 0 | state->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 16777216 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 1 |
| CAPPED_DATA | 0 | state->unused_service | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &state->mutex | |
| HALF_LOCKED2 | &instance->state->mutex | ||
| TYPE_LOCK | (struct vchiq_state)->mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_open_service_internal() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 0 | state->slot_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->slot_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | state->slot_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | s32min-0,33554432-s32max |
| PARAM_VALUE | 3 | copy_callback | 6332558907596390400 |
| PARAM_VALUE | 4 | context | 6790991060763754496 |
| PARAM_VALUE | 5 | size | 12 |
| PARAM_VALUE | 6 | flags | 1 |
| BUF_SIZE | 4 | context | 12 |
| BIT_INFO | 2 | msgid | 0x2000000,0xfffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 5 | size | unit_byte |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_queue_message() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | service | 4096-ptr_max |
| PARAM_VALUE | 1 | service->ref_count.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | service->service_use_count | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | service->srvstate | 4 |
| PARAM_VALUE | 1 | service->state | 4096-ptr_max |
| PARAM_VALUE | 3 | copy_callback | 3963429907625963520,6332558907596390400 |
| PARAM_VALUE | 5 | size | 1-4088 |
| PARAM_VALUE | 6 | flags | 1 |
| BUF_SIZE | 4 | context | (-1),24,512 |
| BUF_SIZE | 4 | context | (-1),24,512 |
| DATA_SOURCE | 1 | service | r find_service_by_handle |
| DATA_SOURCE | 3 | copy_callback | $2 |
| DATA_SOURCE | 4 | context | $3 |
| DATA_SOURCE | 5 | size | $4 |
| BIT_INFO | 2 | msgid | 0x5000000,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 4 | context | unit_byte |
| UNITS | 5 | size | unit_byte |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_send_remote_use() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 1-u32max |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 201326592 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 0 |
| DATA_SOURCE | 0 | state | $0 |
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c vchiq_send_remote_use_active() -> queue_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->conn_state | 1-u32max |
| PARAM_VALUE | 0 | state->platform_state->susp_res_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->platform_state->susp_res_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->platform_state->susp_res_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->platform_state->susp_res_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | state->remote->initialised | 0-1 |
| PARAM_VALUE | 0 | state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 1 | service | 0 |
| PARAM_VALUE | 2 | msgid | 234881024 |
| PARAM_VALUE | 3 | copy_callback | 0 |
| PARAM_VALUE | 4 | context | 0 |
| PARAM_VALUE | 5 | size | 0 |
| PARAM_VALUE | 6 | flags | 0 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |