Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/gen8_ppgtt.c __gen8_ppgtt_alloc() -> gen8_pt_count()

Type Parameter Key Value
DATA_SOURCE 1 end $4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 start
LOCK2 &pd->lock
HALF_LOCKED2 &vm->mutex
TYPE_LOCK (struct i915_page_directory)->lock

drivers/gpu/drm/i915/gt/gen8_ppgtt.c __gen8_ppgtt_clear() -> gen8_pt_count()

Type Parameter Key Value
DATA_SOURCE 0 start $2
DATA_SOURCE 1 end $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vm->mutex

drivers/gpu/drm/i915/gt/gen8_ppgtt.c __gen8_ppgtt_foreach() -> gen8_pt_count()

Type Parameter Key Value
DATA_SOURCE 1 end $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 start
HALF_LOCKED2 __flags