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_bulk() -> vchiq_irq_queue_bulk_tx_rx()

Type Parameter Key Value
PARAM_VALUE 1 args 1270943045412798464
PARAM_VALUE 2 dir 0-1
PARAM_VALUE 3 mode 4096-ptr_max
BUF_SIZE 0 instance s32min-(-2),1-s32max
FUZZY_MAX 2 dir 1
HARD_MAX 2 dir 1

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

Type Parameter Key Value
PARAM_VALUE 1 args 5712253743072784384
PARAM_VALUE 2 dir 0-1
PARAM_VALUE 3 mode 4096-ptr_max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
FUZZY_MAX 2 dir 1
HARD_MAX 2 dir 1
USER_DATA 1 args->handle 0-u32max
USER_DATA 1 args->size 0-u32max