Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_buffer_prime_to_surface_base() -> vmw_lookup_user_surface_for_buffer()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 1 bo 4096-ptr_max
CAPPED_DATA 0 &vmw->drm 1
DATA_SOURCE 0 vmw $0
HALF_LOCKED2 0 &vmw->drm.object_name_lock

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_lookup_surface_for_buffer() -> vmw_lookup_user_surface_for_buffer()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 1 bo 4096-ptr_max
PARAM_VALUE 1 bo->is_dumb 0
DATA_SOURCE 0 vmw $0
DATA_SOURCE 1 bo $1
DATA_SOURCE 2 handle $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 handle 0-u32max
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_lookup_surface_handle_for_buffer() -> vmw_lookup_user_surface_for_buffer()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 1 bo 4096-ptr_max
PARAM_VALUE 2 handle 0-53032
DATA_SOURCE 0 vmw $0
DATA_SOURCE 1 bo $1
DATA_SOURCE 2 handle $2
FUZZY_MAX 2 handle 53032
HARD_MAX 2 handle 53032
USER_DATA 2 handle 0-53032[u]