Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_fb_helper.c drm_fb_helper_check_var() -> drm_fb_helper_fill_pixel_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | var | 4096-ptr_max |
| PARAM_VALUE | 0 | var->blue.length | 0 |
| PARAM_VALUE | 0 | var->blue.offset | 0 |
| PARAM_VALUE | 0 | var->green.length | 0 |
| PARAM_VALUE | 0 | var->green.offset | 0 |
| PARAM_VALUE | 0 | var->red.length | 0 |
| PARAM_VALUE | 0 | var->red.offset | 0 |
| PARAM_VALUE | 0 | var->transp.length | 0 |
| PARAM_VALUE | 0 | var->transp.offset | 0 |
| PARAM_VALUE | 1 | format | 4096-ptr_max |
| CAPPED_DATA | 0 | var->xoffset | 1 |
| CAPPED_DATA | 0 | var->xres | 1 |
| CAPPED_DATA | 0 | var->yoffset | 1 |
| CAPPED_DATA | 0 | var->yres | 1 |
| DATA_SOURCE | 0 | var | $0 |
| STR_LEN | 0 | var | (-1),10,12-14,30 |
| STR_LEN | 0 | var | (-1),10,12-14,30 |
| CONSTRAINT | 0 | var->yres | <=3259 |
| CONSTRAINT | 0 | var->yres_virtual | <=3259 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | var->blue.msb_right | 0 |
| HOST_DATA | 0 | var->green.msb_right | 0 |
| HOST_DATA | 0 | var->pixclock | 0[c] |
| HOST_DATA | 0 | var->red.msb_right | 0 |
| HOST_DATA | 0 | var->transp.length | 0 |
| HOST_DATA | 0 | var->transp.msb_right | 0 |
| HOST_DATA | 0 | var->transp.offset | 0 |
| HOST_DATA | 0 | var->xres | 1-s32max[c] |
| HOST_DATA | 0 | var->yres | 1-s32max[c] |
| USER_DATA | 0 | var->activate | 0-u32max[c] |
| USER_DATA | 0 | var->blue.length | 0 |
| USER_DATA | 0 | var->blue.msb_right | 0 |
| USER_DATA | 0 | var->blue.offset | 0 |
| USER_DATA | 0 | var->grayscale | 0 |
| USER_DATA | 0 | var->green.length | 0 |
| USER_DATA | 0 | var->green.msb_right | 0 |
| USER_DATA | 0 | var->green.offset | 0 |
| USER_DATA | 0 | var->nonstd | 0 |
| USER_DATA | 0 | var->pixclock | 0 |
| USER_DATA | 0 | var->red.length | 0 |
| USER_DATA | 0 | var->red.msb_right | 0 |
| USER_DATA | 0 | var->red.offset | 0 |
| USER_DATA | 0 | var->transp.length | 0 |
| USER_DATA | 0 | var->transp.msb_right | 0 |
| USER_DATA | 0 | var->transp.offset | 0 |
| USER_DATA | 0 | var->xoffset | 0-s32max[c] |
| USER_DATA | 0 | var->xres | 1-s32max[c] |
| USER_DATA | 0 | var->yoffset | 0-s32max[c] |
| USER_DATA | 0 | var->yres | 1-s32max[c] |
drivers/gpu/drm/drm_fb_helper.c drm_fb_helper_fill_var() -> drm_fb_helper_fill_pixel_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | var | 4096-ptr_max |
| PARAM_VALUE | 1 | format | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->clientlist_mutex | ||
| HALF_LOCKED2 | &fb_helper->lock | ||
| HALF_LOCKED2 | &helper->lock | ||
| TYPE_LOCK | (struct drm_device)->clientlist_mutex | ||
| TYPE_LOCK | (struct drm_fb_helper)->lock |