Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c drm_sysfb_get_stride_si() -> drm_sysfb_get_validated_size0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 4227844086978940928 |
| PARAM_VALUE | 2 | value | 0-34359738375,1152921504606846975-u64max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 7 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 6 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c drm_sysfb_get_visible_size_si() -> drm_sysfb_get_validated_size0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 2258866395468443648 |
| PARAM_VALUE | 2 | value | 1-4611686014132420609 |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 13 |
| CAPPED_DATA | 2 | value | 1 |
| CAPPED_DATA | 2 | value | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | value | r mul_u32_u32 |
| DATA_SOURCE | 3 | max | $4 |
| STR_LEN | 0 | dev | 12 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |