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_create_service() -> vchiq_ioc_create_service()

Type Parameter Key Value
PARAM_VALUE 1 args 6884197286561734656
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_ioctl() -> vchiq_ioc_create_service()

Type Parameter Key Value
PARAM_VALUE 1 args 5712253743072784384
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
USER_DATA 1 args->handle 0-u32max
USER_DATA 1 args->is_open s32min-s32max
USER_DATA 1 args->is_vchi s32min-s32max
USER_DATA 1 args->params.fourcc s32min-s32max
USER_DATA 1 args->params.version s16min-s16max
USER_DATA 1 args->params.version_min s16min-s16max