Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_modes.c drm_mode_validate_driver() -> (struct drm_mode_config_funcs)->mode_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | dev->mode_config.funcs->mode_valid | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 4096-ptr_max |
| PARAM_VALUE | 1 | mode->clock | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | mode->flags | 0-524286 |
| PARAM_VALUE | 1 | mode->hdisplay | 1-u16max |
| PARAM_VALUE | 1 | mode->hsync_end | 1-u16max |
| PARAM_VALUE | 1 | mode->hsync_start | 1-u16max |
| PARAM_VALUE | 1 | mode->htotal | 1-u16max |
| PARAM_VALUE | 1 | mode->type | 0-126 |
| PARAM_VALUE | 1 | mode->vdisplay | 1-u16max |
| PARAM_VALUE | 1 | mode->vsync_end | 1-u16max |
| PARAM_VALUE | 1 | mode->vsync_start | 1-u16max |
| PARAM_VALUE | 1 | mode->vtotal | 1-u16max |
| BUF_SIZE | 0 | dev | (-1),3696 |
| BUF_SIZE | 0 | dev | (-1),3696 |
| BUF_SIZE | 1 | mode | (-1),120 |
| BUF_SIZE | 1 | mode | (-1),120 |
| CAPPED_DATA | 1 | mode->hdisplay | 1 |
| CAPPED_DATA | 1 | mode->hsync_end | 1 |
| CAPPED_DATA | 1 | mode->hsync_start | 1 |
| CAPPED_DATA | 1 | mode->vdisplay | 1 |
| CAPPED_DATA | 1 | mode->vsync_end | 1 |
| CAPPED_DATA | 1 | mode->vsync_start | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | mode | $1 |
| CONTAINER | 0 | -16-1352-1000+0 | $(-1) |
| PARAM_COMPARE | 1 | mode->hdisplay | <= $1->hsync_end |
| PARAM_COMPARE | 1 | mode->hdisplay | <= $1->hsync_start |
| PARAM_COMPARE | 1 | mode->hdisplay | <= $1->htotal |
| PARAM_COMPARE | 1 | mode->hsync_end | <= $1->htotal |
| PARAM_COMPARE | 1 | mode->hsync_end | >= $1->hsync_start |
| PARAM_COMPARE | 1 | mode->hsync_start | <= $1->htotal |
| PARAM_COMPARE | 1 | mode->vdisplay | <= $1->vsync_end |
| PARAM_COMPARE | 1 | mode->vdisplay | <= $1->vsync_start |
| PARAM_COMPARE | 1 | mode->vdisplay | <= $1->vtotal |
| PARAM_COMPARE | 1 | mode->vsync_end | <= $1->vtotal |
| PARAM_COMPARE | 1 | mode->vsync_end | >= $1->vsync_start |
| PARAM_COMPARE | 1 | mode->vsync_start | <= $1->vtotal |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | mode->clock | 1-s32max[u] |
| USER_DATA | 1 | mode->flags | 0-524286[c][u] |
| USER_DATA | 1 | mode->hdisplay | 1-u16max[c] |
| USER_DATA | 1 | mode->hskew | 0-u16max[u] |
| USER_DATA | 1 | mode->hsync_end | 1-u16max[c] |
| USER_DATA | 1 | mode->hsync_start | 1-u16max[c] |
| USER_DATA | 1 | mode->htotal | 1-u16max[u] |
| USER_DATA | 1 | mode->type | 0,8-104[c] |
| USER_DATA | 1 | mode->vdisplay | 1-u16max[c] |
| USER_DATA | 1 | mode->vscan | 0-u16max[u] |
| USER_DATA | 1 | mode->vsync_end | 1-u16max[c] |
| USER_DATA | 1 | mode->vsync_start | 1-u16max[c] |
| USER_DATA | 1 | mode->vtotal | 1-u16max[u] |
| NO_OVERFLOW_SIMPLE | 0 | dev->num_crtcs | |
| HALF_LOCKED2 | 0 | &dev->mode_config.connection_mutex | |
| HALF_LOCKED2 | 0 | &dev->mode_config.mutex |