Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/i915_scatterlist.c expect_pfn_sgtable() -> expect_pfn_sg()

Type Parameter Key Value
PARAM_VALUE 0 pt 948712048651821056,5593747192644792320
PARAM_VALUE 0 pt->st.nents 0
PARAM_VALUE 0 pt->st.sgl 0
PARAM_VALUE 0 pt->start 1024
PARAM_VALUE 1 npages_fn 1-u64max
PARAM_VALUE 2 rnd 2002872964000690176,6026514128019267584
PARAM_VALUE 2 rnd->s1 2-u32max
PARAM_VALUE 2 rnd->s2 2-u32max
PARAM_VALUE 2 rnd->s3 2-u32max
PARAM_VALUE 2 rnd->s4 2-u32max
PARAM_VALUE 3 who 8471339166432641024,8641233243301265408
BUF_SIZE 3 who 13,15
BUF_SIZE 3 who 13,15
DATA_SOURCE 0 pt $0
DATA_SOURCE 1 npages_fn $1
DATA_SOURCE 2 rnd $2
DATA_SOURCE 3 who $3
DATA_SOURCE 4 timeout $4
STR_LEN 0 pt 12,14
STR_LEN 0 pt 12,14
TERMINATED 3 who 1
NO_OVERFLOW_SIMPLE 0 pt->st.nents