Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbva_base.c vbva_buffer_flush() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vbox->hw_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct vbox_private)->hw_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 0 guest_pool (-1),120
BUF_SIZE 0 guest_pool (-1),120
DATA_SOURCE 0 guest_pool $1
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vboxvideo/vbox_mode.c vbox_set_view() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vbox->hw_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct vbox_private)->hw_mutex

drivers/gpu/drm/vboxvideo/hgsmi_base.c hgsmi_query_conf() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 0 guest_pool (-1),120
BUF_SIZE 0 guest_pool (-1),120
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vboxvideo/hgsmi_base.c hgsmi_report_flags_location() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
HALF_LOCKED2 &drm->mode_config.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/gpu/drm/vboxvideo/hgsmi_base.c hgsmi_send_caps_info() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
HALF_LOCKED2 &drm->mode_config.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/gpu/drm/vboxvideo/hgsmi_base.c hgsmi_update_pointer_shape() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vbox->hw_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct vbox_private)->hw_mutex

drivers/gpu/drm/vboxvideo/modesetting.c hgsmi_get_mode_hints() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vboxvideo/modesetting.c hgsmi_process_display_info() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 &vbox->hw_mutex

drivers/gpu/drm/vboxvideo/modesetting.c hgsmi_update_input_mapping() -> hgsmi_buffer_submit()

Type Parameter Key Value
PARAM_VALUE 0 guest_pool 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 guest_pool $0
DATA_SOURCE 1 buf r hgsmi_buffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vbox->hw_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct vbox_private)->hw_mutex