Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c, line 72
- drivers/gpu/drm/sysfb/efidrm.c, line 206
- drivers/gpu/drm/sysfb/vesadrm.c, line 456
Smatch caller information:
drivers/gpu/drm/sysfb/efidrm.c efidrm_device_create() -> drm_sysfb_get_stride_si()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | si | 4096-ptr_max |
| PARAM_VALUE | 1 | si->orig_video_isVGA | 35,112 |
| PARAM_VALUE | 2 | format | 4096-ptr_max |
| PARAM_VALUE | 3 | width | 1-s32max |
| PARAM_VALUE | 4 | height | 1-s32max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | si | 64 |
| CAPPED_DATA | 1 | si->lfb_height | 1 |
| CAPPED_DATA | 1 | si->lfb_width | 1 |
| CAPPED_DATA | 3 | width | 1 |
| CAPPED_DATA | 4 | height | 1 |
| DATA_SOURCE | 2 | format | r efidrm_get_format_si |
| DATA_SOURCE | 3 | width | r drm_sysfb_get_width_si |
| DATA_SOURCE | 4 | height | r drm_sysfb_get_height_si |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/vesadrm.c vesadrm_device_create() -> drm_sysfb_get_stride_si()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | si | 4096-ptr_max |
| PARAM_VALUE | 1 | si->orig_video_isVGA | 35,112 |
| PARAM_VALUE | 2 | format | 4096-ptr_max |
| PARAM_VALUE | 3 | width | 1-s32max |
| PARAM_VALUE | 4 | height | 1-s32max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | si | 64 |
| CAPPED_DATA | 1 | si->lfb_height | 1 |
| CAPPED_DATA | 1 | si->lfb_width | 1 |
| CAPPED_DATA | 3 | width | 1 |
| CAPPED_DATA | 4 | height | 1 |
| DATA_SOURCE | 2 | format | r vesadrm_get_format_si |
| DATA_SOURCE | 3 | width | r drm_sysfb_get_width_si |
| DATA_SOURCE | 4 | height | r drm_sysfb_get_height_si |
| RX_PATH | |||
| TASK_NOT_RUNNING |