Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioctl() -> vchiq_close_service()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
CAPPED_DATA 0 instance 1
UNITS 0 instance unit_array_size

drivers/staging/vc04_services/bcm2835-audio/bcm2835-vchiq.c vc_vchi_audio_deinit() -> vchiq_close_service()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &chip->audio_mutex
LOCK2 &instance->vchi_mutex
HALF_LOCKED2 &pcm->open_mutex
TYPE_LOCK (struct bcm2835_audio_instance)->vchi_mutex
TYPE_LOCK (struct bcm2835_chip)->audio_mutex

drivers/platform/raspberrypi/vchiq-mmal/mmal-vchiq.c vchiq_mmal_finalise() -> vchiq_close_service()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
LOCK2 &instance->vchiq_mutex
TYPE_LOCK (struct vchiq_mmal_instance)->vchiq_mutex

drivers/platform/raspberrypi/vchiq-mmal/mmal-vchiq.c vchiq_mmal_init() -> vchiq_close_service()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->connected 1
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 1 handle 0
NOCHECK_CALL