Defined in 1 files as a variable:

Defined in 9 files as a member:

Defined in 1 files as a function:

Referenced in 55 files:

Smatch caller information:

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

Type Parameter Key Value
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
DATA_SOURCE 2 rnd $2
PARAM_COMPARE 0 n < $1
PARAM_COMPARE 0 n < $1
PARAM_COMPARE 1 count > $0
CONSTRAINT 0 n <3347
NO_OVERFLOW_SIMPLE 0 n
NO_OVERFLOW_SIMPLE 1 count

drivers/gpu/drm/i915/i915_scatterlist.c alloc_table() -> alloc_table param 3()

Type Parameter Key Value
PARAM_VALUE 1 count 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
CAPPED_DATA 0 n 1
CAPPED_DATA 0 n 1
DATA_SOURCE 1 count $1
DATA_SOURCE 2 rnd $4
PARAM_COMPARE 0 n < $1
PARAM_COMPARE 1 count > $0
PARAM_COMPARE 1 count > $0