Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_gmr.c vmw_gmr_bind() -> vmw_gmr2_bind()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->capabilities 4194304-u32max
PARAM_VALUE 0 dev_priv->map_mode 0-2
PARAM_VALUE 1 iter 2718897440354467840
PARAM_VALUE 1 iter->dma_address 5291739380183859200,8532133232772063232
PARAM_VALUE 1 iter->i 0-4294967294
PARAM_VALUE 1 iter->iter.base.__nents 1-u32max
PARAM_VALUE 1 iter->iter.base.__pg_advance 0-1
PARAM_VALUE 1 iter->iter.base.sg 4096-ptr_max
PARAM_VALUE 1 iter->iter.base.sg_pgoffset 0-1048574
PARAM_VALUE 1 iter->next 5317959484122578944,7104656102445899776
PARAM_VALUE 1 iter->num_pages 1-u32max
DATA_SOURCE 0 dev_priv $0
DATA_SOURCE 2 num_pages $2
DATA_SOURCE 3 gmr_id $3
BIT_INFO 0 dev_priv->capabilities 0x400000,0xffffffff
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