Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xen/xen_drm_front_kms.c fb_create() -> xen_drm_front_fb_attach()

Type Parameter Key Value
PARAM_VALUE 2 fb_cookie 4096-18446744073709547520
PARAM_VALUE 3 width 1-u32max
PARAM_VALUE 4 height 1-u32max
CAPPED_DATA 3 width 1
CAPPED_DATA 4 height 1
NOSPEC 3 width
NOSPEC 3 width
NOSPEC 4 height
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 width 1-s32max[c]
USER_DATA 4 height 1-s32max[c]
UNITS 0 front_info unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex