Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/gpu/drm/sysfb/corebootdrm.c
- drivers/gpu/drm/sysfb/drm_sysfb.c, line 32
- drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c
- drivers/gpu/drm/sysfb/ofdrm.c, line 89
- drivers/gpu/drm/sysfb/simpledrm.c
Smatch caller information:
drivers/gpu/drm/sysfb/corebootdrm.c corebootdrm_get_height_fb() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 4398136395280396288 |
| PARAM_VALUE | 3 | max | s32max |
| 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/corebootdrm.c corebootdrm_get_pitch_fb() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 512572403393732608 |
| PARAM_VALUE | 2 | value | 0-34359738375,1152921504606846975-u64max |
| PARAM_VALUE | 3 | max | s32max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 5 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/corebootdrm.c corebootdrm_get_width_fb() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 2046629591669989376 |
| PARAM_VALUE | 3 | max | s32max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 5 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c drm_sysfb_get_height_si() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 4398136395280396288 |
| PARAM_VALUE | 3 | max | u16max |
| 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 | |||
| UNITS | 2 | value | unit_byte |
drivers/gpu/drm/sysfb/drm_sysfb_screen_info.c drm_sysfb_get_width_si() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 2046629591669989376 |
| PARAM_VALUE | 3 | max | u16max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 5 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | value | unit_byte |
drivers/gpu/drm/sysfb/simpledrm.c simplefb_get_height_of() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 4398136395280396288 |
| PARAM_VALUE | 3 | max | u16max |
| 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/simpledrm.c simplefb_get_height_pd() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 4398136395280396288 |
| PARAM_VALUE | 3 | max | u16max |
| 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 | |||
| UNITS | 2 | value | unit_byte |
drivers/gpu/drm/sysfb/simpledrm.c simplefb_get_width_of() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 2046629591669989376 |
| PARAM_VALUE | 3 | max | u16max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 5 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/simpledrm.c simplefb_get_width_pd() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0-ptr_max |
| PARAM_VALUE | 1 | name | 2046629591669989376 |
| PARAM_VALUE | 3 | max | u16max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 5 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | value | unit_byte |
drivers/gpu/drm/sysfb/ofdrm.c display_get_validated_int0() -> drm_sysfb_get_validated_int0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | name | 2046629591669989376,4398136395280396288,7023743676279713792 |
| PARAM_VALUE | 3 | max | s32max |
| BUF_SIZE | 0 | dev | 3696 |
| BUF_SIZE | 1 | name | 6-7 |
| BUF_SIZE | 1 | name | 6-7 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | name | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | dev | 5-6 |
| STR_LEN | 0 | dev | 5-6 |
| TERMINATED | 1 | name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |