Open Menu /

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() -> vchiq_ioc_queue_message()

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

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

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->state 4096-ptr_max
PARAM_VALUE 2 elements 1771741422710956032
PARAM_VALUE 3 count 0-8
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 2 elements 128
CAPPED_DATA 0 instance 1
CAPPED_DATA 1 handle 1
FUZZY_MAX 3 count 8
HARD_MAX 3 count 8
USER_DATA 1 handle 0-u32max[c]
USER_DATA 2 elements->size 0-u32max
USER_DATA 3 count 0-8
UNITS 0 instance unit_array_size
USER_PTR 2 elements