Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 15 files:
- drivers/gpu/drm/amd/amdgpu/amdgpu_display.c
- drivers/gpu/drm/arm/display/komeda/komeda_framebuffer.c, line 195
- drivers/gpu/drm/armada/armada_fb.c, line 72
- drivers/gpu/drm/drm_framebuffer.c, line 911
- drivers/gpu/drm/drm_gem_framebuffer_helper.c, line 85
- drivers/gpu/drm/exynos/exynos_drm_fb.c, line 84
- drivers/gpu/drm/i915/display/intel_fb.c, line 2328
- drivers/gpu/drm/msm/msm_fb.c, line 202
- drivers/gpu/drm/nouveau/nouveau_display.c, line 325
- drivers/gpu/drm/omapdrm/omap_fb.c, line 443
- drivers/gpu/drm/radeon/radeon_display.c, line 1318
- drivers/gpu/drm/tegra/fb.c, line 125
- drivers/gpu/drm/tests/drm_framebuffer_test.c
- drivers/gpu/drm/virtio/virtgpu_display.c, line 83
- drivers/gpu/drm/vmwgfx/vmwgfx_kms.c
Smatch caller information:
drivers/gpu/drm/msm/msm_fb.c msm_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev_private | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 7466063750713786368 |
| BUF_SIZE | 1 | fb | 192 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/virtio/virtgpu_display.c virtio_gpu_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 6859572814689722368 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/exynos/exynos_drm_fb.c exynos_drm_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 1612725472034680832 |
| BUF_SIZE | 1 | fb | 192 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | fb | r _kzalloc_noprof |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/arm/display/komeda/komeda_framebuffer.c komeda_fb_create() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev_private | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 1242224831075913728 |
| BUF_SIZE | 0 | dev | (-1),3696 |
| BUF_SIZE | 0 | dev | (-1),3696 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_cleanup() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fb | 7946158766922342400 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 1590679125481877504 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 0 |
| BUF_SIZE | 0 | dev | 3696 |
| NOCHECK_CALL |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_cleanup() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fb | 5998845308395483136 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 1590679125481877504 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 0 |
| BUF_SIZE | 0 | dev | 3696 |
| NOCHECK_CALL |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fb | 2300784081101783040 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 2265375496661708800 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 6874446578754646016 |
| PARAM_VALUE | 2 | funcs->create_handle | 0 |
| PARAM_VALUE | 2 | funcs->destroy | 0 |
| PARAM_VALUE | 2 | funcs->dirty | 0 |
| BUF_SIZE | 0 | dev | 3696 |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_init_bad_format() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fb | 7590632066827624448 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 0 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 755029183580377088 |
| PARAM_VALUE | 2 | funcs->create_handle | 0 |
| PARAM_VALUE | 2 | funcs->destroy | 0 |
| PARAM_VALUE | 2 | funcs->dirty | 0 |
| BUF_SIZE | 0 | dev | 3696 |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_init_dev_mismatch() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4985795057042706432 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 248321679346135040 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 4467561730062884864 |
| PARAM_VALUE | 2 | funcs->create_handle | 0 |
| PARAM_VALUE | 2 | funcs->destroy | 0 |
| PARAM_VALUE | 2 | funcs->dirty | 0 |
| DATA_SOURCE | 0 | dev | r __drm_kunit_helper_alloc_drm_device |
drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_lookup() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fb | 3983846869338152960 |
| PARAM_VALUE | 1 | fb->base.free_cb | 0 |
| PARAM_VALUE | 1 | fb->base.id | 0 |
| PARAM_VALUE | 1 | fb->base.refcount.refcount.refs.counter | 0 |
| PARAM_VALUE | 1 | fb->base.type | 0 |
| PARAM_VALUE | 1 | fb->filp_head.next | 0 |
| PARAM_VALUE | 1 | fb->filp_head.prev | 0 |
| PARAM_VALUE | 1 | fb->flags | 0 |
| PARAM_VALUE | 1 | fb->format | 3483670428225687552 |
| PARAM_VALUE | 1 | fb->funcs | 0 |
| PARAM_VALUE | 1 | fb->head.next | 0 |
| PARAM_VALUE | 1 | fb->head.prev | 0 |
| PARAM_VALUE | 1 | fb->height | 0 |
| PARAM_VALUE | 1 | fb->internal_flags | 0 |
| PARAM_VALUE | 1 | fb->modifier | 0 |
| PARAM_VALUE | 1 | fb->width | 0 |
| PARAM_VALUE | 2 | funcs | 0 |
| BUF_SIZE | 0 | dev | 3696 |
drivers/gpu/drm/nouveau/nouveau_display.c nouveau_framebuffer_new() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->obj | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 5091565190249951232 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/drm_gem_framebuffer_helper.c drm_gem_fb_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 2163087393657724928,3632368392497963008,4271168339807580160,5680782845934649344,8791900362683154432 |
| BUF_SIZE | 1 | fb | (-1),192 |
| BUF_SIZE | 1 | fb | (-1),192 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | fb | $1 |
| DATA_SOURCE | 2 | funcs | $6 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_gem_fb_verify_and_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 1165216115393699840 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-4[c][u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_gem_fb_verify_and_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 689429095845642240 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-4[c][u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/radeon/radeon_display.c radeon_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fb->obj | 4096-ptr_max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 8761748159091351552 |
| BUF_SIZE | 1 | fb | 192 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | fb | $1 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &dev->clientlist_mutex | ||
| HALF_LOCKED2 | &fb_helper->lock |
drivers/gpu/drm/omapdrm/omap_fb.c omap_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->huge_mnt->mnt_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | dev->huge_mnt->mnt_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | dev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | dev->huge_mnt->mnt_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 4828567294893445120 |
| BUF_SIZE | 1 | fb | 192 |
| DATA_SOURCE | 0 | dev | $0 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->clientlist_mutex | ||
| HALF_LOCKED2 | &helper->lock |
drivers/gpu/drm/tegra/fb.c tegra_fb_alloc() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 4997210085496958976 |
| BUF_SIZE | 1 | fb | 192 |
| CAPPED_DATA | 1 | fb->format->num_planes | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | fb | r _kzalloc_noprof |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/i915/display/intel_fb.c intel_framebuffer_init() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 1 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 1 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 2 | funcs | 7490518513662865408 |
| BUF_SIZE | 1 | fb | 192 |
| CAPPED_DATA | 1 | fb->format->num_planes | 1 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| UNITS | 0 | dev | unit_byte |
drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_kms_new_framebuffer_bo() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 2629542555427618816 |
| BUF_SIZE | 0 | dev | 3696 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_kms_new_framebuffer_surface() -> drm_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fb->flags | 0-2 |
| PARAM_VALUE | 1 | fb->format | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fb->height | 1-u32max |
| PARAM_VALUE | 1 | fb->width | 1-u32max |
| PARAM_VALUE | 2 | funcs | 880631061850533888 |
| BUF_SIZE | 0 | dev | 3696 |
| NOSPEC | 1 | fb->height | |
| NOSPEC | 1 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fb->flags | 0-2[u] |
| USER_DATA | 1 | fb->height | 1-s32max[c] |
| USER_DATA | 1 | fb->modifier | 0-u64max |
| USER_DATA | 1 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |