Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_linux.c vbg_misc_device_ioctl() -> vbg_core_ioctl()

Type Parameter Key Value
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 data->size_in 24-2147483671
PARAM_VALUE 2 data->size_out 0,24-u32max
PARAM_VALUE 2 data->version 65537
BUF_SIZE 0 session s32min-(-2),1-s32max
BUF_SIZE 0 session s32min-(-2),1-s32max
BUF_SIZE 2 data 24-16777216,u64max
BUF_SIZE 2 data 24-16777216,u64max
DATA_SOURCE 1 req $1
USER_DATA 1 req 0-u32max
USER_DATA 2 data->rc s32min-s32max
USER_DATA 2 data->reserved 0-u32max
USER_DATA 2 data->size_in 24-2147483671
USER_DATA 2 data->size_out 0,24-u32max
USER_DATA 2 data->type 0-u32max