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_dev.c vchiq_compat_ioctl_queue_message() -> find_service_for_instance()

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioc_dequeue_message() -> find_service_for_instance()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 0 instance->state->local 4096-ptr_max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 0 instance $0
USER_DATA 1 handle 0-u32max

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

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 1 handle $2
USER_DATA 1 handle 0-u32max

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

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 1 handle $2
USER_DATA 1 handle 0-u32max

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

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
USER_DATA 1 handle 0-u32max

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

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
USER_DATA 1 handle 0-u32max

drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_irq_queue_bulk_tx_rx() -> find_service_for_instance()

Type Parameter Key Value
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
DATA_SOURCE 0 instance $0
USER_DATA 1 handle 0-u32max