Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_ttm_buffer.c vmw_ttm_bind() -> vmw_gmr_bind()

Type Parameter Key Value
PARAM_VALUE 1 vsgt 4096-ptr_max
NOSPEC 2 num_pages
NOSPEC 2 num_pages
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 num_pages 0-u32max[c]
NO_OVERFLOW_SIMPLE 2 num_pages
UNITS 3 gmr_id unit_page
HALF_LOCKED2 bo->base.resv