Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/cmd_parser.c command_scan() -> gma_out_of_range()

Type Parameter Key Value
PARAM_VALUE 0 gma 0-18446744073709551614
CAPPED_DATA 0 gma 1
CAPPED_DATA 0 gma 1
PARAM_COMPARE 0 gma != $2
PARAM_COMPARE 2 gma_tail != $0
NOSPEC 0 gma
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gma 0-4297064443[c]
USER_DATA 1 gma_head 0-4297064443[c]
USER_DATA 2 gma_tail 0-u32max[c]
UNITS 0 gma unit_byte
UNITS 1 gma_head unit_byte
UNITS 2 gma_tail unit_byte
HALF_LOCKED2 &gvt->lock
HALF_LOCKED2 &vgpu->vgpu_lock