Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/gma500/gem.c psb_gem_mm_populate_resources() -> psb_gtt_insert_pages()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->gtt.stolen_size 0-4294963199,18446744073709547520-u64max
PARAM_VALUE 0 pdev->gtt_mem 4096-ptr_max
PARAM_VALUE 0 pdev->stolen_base 0
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 2 pages 1-u64max
BUF_SIZE 2 pages 1-s32max
DATA_SOURCE 0 pdev $0
NOCHECK_CALL
HOST_DATA 0 pdev->stolen_base 0

drivers/gpu/drm/gma500/gem.c psb_gem_pin() -> psb_gtt_insert_pages()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 2 pages 16,4096-ptr_max
BUF_SIZE 2 pages 0-s32max
BUF_SIZE 2 pages 0-s32max
DATA_SOURCE 0 pdev r to_drm_psb_private
DATA_SOURCE 2 pages r drm_gem_get_pages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 obj->resv
HALF_LOCKED2 &crtc->mutex
HALF_LOCKED2 &dev_priv->mmap_mutex