Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_call() -> hgcm_call_copy_back_result()

Type Parameter Key Value
PARAM_VALUE 0 call 18379471554275704832,18446612682070032384
PARAM_VALUE 0 call->header.flags 0,2
PARAM_VALUE 0 call->header.result s32min-0
PARAM_VALUE 0 call->parm_count 0-32
PARAM_VALUE 2 parm_count 0-32
PARAM_VALUE 3 bounce_bufs 0,16,4096-ptr_max
BUF_SIZE 1 dst_parm (-1)-512
BUF_SIZE 1 dst_parm (-1)-512
CAPPED_DATA 0 call 1
CAPPED_DATA 2 parm_count 1
DATA_SOURCE 0 call r vbg_req_alloc
DATA_SOURCE 1 dst_parm $5
DATA_SOURCE 2 parm_count $6
FUZZY_MAX 2 parm_count 32
HARD_MAX 2 parm_count 32
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 call->parm_count
NO_OVERFLOW_SIMPLE 2 parm_count
UNITS 1 dst_parm unit_byte
UNITS 2 parm_count unit_array_size
HALF_LOCKED2 global &vbg_gdev_mutex