Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbva_base.c vbva_disable() -> vbva_inform_host()

Type Parameter Key Value
PARAM_VALUE 0 vbva_ctx 4096-ptr_max
PARAM_VALUE 0 vbva_ctx->buffer_overflow 0
PARAM_VALUE 0 vbva_ctx->record 0
PARAM_VALUE 0 vbva_ctx->vbva 0
PARAM_VALUE 2 screen s32min-(-2),0-s32max
PARAM_VALUE 3 enable 0
BUF_SIZE 1 ctx (-1),120
BUF_SIZE 1 ctx (-1),120
CAPPED_DATA 2 screen 1
DATA_SOURCE 0 vbva_ctx $0
DATA_SOURCE 1 ctx $1
DATA_SOURCE 2 screen $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 screen
UNITS 2 screen unit_array_size

drivers/gpu/drm/vboxvideo/vbva_base.c vbva_enable() -> vbva_inform_host()

Type Parameter Key Value
PARAM_VALUE 0 vbva_ctx 4096-ptr_max
PARAM_VALUE 0 vbva_ctx->vbva 4096-ptr_max
PARAM_VALUE 0 vbva_ctx->vbva->partial_write_tresh 256
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->algo 7427687418366767104
PARAM_VALUE 1 ctx->chunks.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->chunks.next->prev 4096-ptr_max
PARAM_VALUE 1 ctx->chunks.prev 4096-ptr_max
PARAM_VALUE 1 ctx->chunks.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->chunks.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->data 0
PARAM_VALUE 1 ctx->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ctx->min_alloc_order 4
PARAM_VALUE 1 ctx->name 0
PARAM_VALUE 2 screen 0-31
PARAM_VALUE 3 enable 1
BUF_SIZE 1 ctx 120
CAPPED_DATA 2 screen 1
DATA_SOURCE 0 vbva_ctx $0
DATA_SOURCE 1 ctx $1
DATA_SOURCE 2 screen $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 screen
UNITS 2 screen unit_array_size
HALF_LOCKED2 &pool->lock