Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioc_create_service() -> vchiq_open_service_internal()

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 3
PARAM_VALUE 0 service->state 4096-ptr_max
PARAM_VALUE 0 service->userdata_term 36024145200467968
BUF_SIZE 0 service 2448
BUF_SIZE 0 service->base.userdata 288,235432
BUF_SIZE 0 service->instance s32min-(-2),1-s32max
DATA_SOURCE 0 service r vchiq_add_service_internal

drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_open_service() -> vchiq_open_service_internal()

Type Parameter Key Value
PARAM_VALUE 0 service 4096-ptr_max
PARAM_VALUE 0 service->auto_close 1
PARAM_VALUE 0 service->base.callback 4274462990361763840,9096849167842131968
PARAM_VALUE 0 service->base.fourcc s32min-(-1),1-s32max
PARAM_VALUE 0 service->base.userdata 4096-ptr_max
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 3
PARAM_VALUE 0 service->state 4096-ptr_max
PARAM_VALUE 0 service->userdata_term 0
PARAM_VALUE 0 service->version 2,15
PARAM_VALUE 0 service->version_min 1,10
BUF_SIZE 0 service 2448
BUF_SIZE 0 service->base.userdata 288,235432
DATA_SOURCE 0 service r vchiq_add_service_internal
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->audio_mutex