Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/display/intel_fb.c intel_framebuffer_init() -> intel_bo_framebuffer_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 1 | mode_cmd | 189279737689608192,4560490489174298624,8585437146338455552 |
| PARAM_VALUE | 1 | mode_cmd->flags | 0-2 |
| BUF_SIZE | 0 | obj | (-1),704 |
| BUF_SIZE | 0 | obj | (-1),704 |
| DATA_SOURCE | 0 | obj | $1 |
| DATA_SOURCE | 1 | mode_cmd | $3 |
| NOSPEC | 1 | mode_cmd->height | |
| NOSPEC | 1 | mode_cmd->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | mode_cmd->fb_id | 0-u32max[u] |
| USER_DATA | 1 | mode_cmd->flags | 0-2[u] |
| USER_DATA | 1 | mode_cmd->height | 1-s32max[c] |
| USER_DATA | 1 | mode_cmd->pixel_format | 0-u32max[c] |
| USER_DATA | 1 | mode_cmd->width | 1-s32max[c] |
| USER_PTR | 1 | mode_cmd->handles | |
| USER_PTR | 1 | mode_cmd->modifier | |
| USER_PTR | 1 | mode_cmd->offsets | |
| USER_PTR | 1 | mode_cmd->pitches |