Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_aperture_rw() -> intel_vgpu_in_aperture()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 1 off 0-1099511627775
CAPPED_DATA 0 vgpu 1
DATA_SOURCE 0 vgpu $0
DATA_SOURCE 1 off $1
HOST_DATA 0 vgpu->gvt->gt->uncore->fifo_count 0-127,u32max
USER_DATA 1 off 0-1000000008[c]

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_aperture_rw() -> intel_vgpu_in_aperture()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 0 vgpu->gm.low_gm_node.start 0-1099511627775
PARAM_VALUE 1 off 1-1099511627783
CAPPED_DATA 0 vgpu 1
CAPPED_DATA 0 vgpu->gm.low_gm_node.start 1
CAPPED_DATA 1 off 1
DATA_SOURCE 0 vgpu $0
HOST_DATA 0 vgpu->gvt->gt->uncore->fifo_count 0-127,u32max
USER_DATA 1 off 1-1000000016[c]
UNITS 1 off unit_byte

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_mmap() -> intel_vgpu_in_aperture()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 1 off 0,4096-1099511623680
BIT_INFO 1 off 0x0,0xfffffff000
BIT_INFO 1 off 0x0,0xfffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 off 0,4096-1099511623680[c]
UNITS 1 off unit_byte
HALF_LOCKED2 &ipcp->lock