Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/sysfb/simpledrm.c simplefb_get_stride_of() -> drm_sysfb_get_validated_int()

Type Parameter Key Value
PARAM_VALUE 0 dev 0-ptr_max
PARAM_VALUE 1 name 4227844086978940928
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/simpledrm.c simplefb_get_stride_pd() -> drm_sysfb_get_validated_int()

Type Parameter Key Value
PARAM_VALUE 0 dev 0-ptr_max
PARAM_VALUE 1 name 4227844086978940928
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/ofdrm.c display_get_validated_int() -> drm_sysfb_get_validated_int()

Type Parameter Key Value
PARAM_VALUE 0 dev 0,4096-ptr_max
PARAM_VALUE 1 name 4210390155969867776
PARAM_VALUE 3 max s32max
BUF_SIZE 0 dev 3696
BUF_SIZE 1 name 10
BUF_SIZE 1 name 10
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 name $1
DATA_SOURCE 2 value $2
STR_LEN 0 dev 9
STR_LEN 0 dev 9
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/sysfb/drm_sysfb.c drm_sysfb_get_validated_int0() -> drm_sysfb_get_validated_int()

Type Parameter Key Value
PARAM_VALUE 0 dev 0-ptr_max
PARAM_VALUE 1 name 512572403393732608,2046629591669989376,4398136395280396288,7023743676279713792
PARAM_VALUE 2 value 1-u64max
PARAM_VALUE 3 max u16max,s32max
BUF_SIZE 0 dev (-1),3696
BUF_SIZE 0 dev (-1),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
DATA_SOURCE 3 max $3
STR_LEN 0 dev 5-6
STR_LEN 0 dev 5-6
TERMINATED 1 name 1
HARD_MAX 3 max s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 value unit_byte