Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/i915/i915_gem_gtt.c i915_gem_gtt_insert() -> random_offset()

Type Parameter Key Value
PARAM_VALUE 0 start 0,4096-18446744073709551614
PARAM_VALUE 1 end 1-u64max
PARAM_VALUE 3 align 4096-u64max
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
DATA_SOURCE 0 start $6
DATA_SOURCE 1 end $7
DATA_SOURCE 2 len $3
FUZZY_MAX 3 align 4096
PARAM_COMPARE 0 start <= $1
PARAM_COMPARE 1 end >= $0
PARAM_COMPARE 1 end >= $0
NOSPEC 0 start
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0,4096-18446744073709551614[c]
USER_DATA 2 len 1-2149580798[c]
USER_DATA 3 align 65537-u64max[u]
NO_OVERFLOW_SIMPLE 1 end
UNITS 1 end unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &ggtt->vm.mutex
HALF_LOCKED2 &gt->ggtt->vm.mutex
HALF_LOCKED2 &gvt->lock
HALF_LOCKED2 &vm->mutex
TYPE_LOCK (struct i915_address_space)->mutex