Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/kvmgt.c intel_gvt_test_and_emulate_vblank() -> intel_vgpu_emulate_vblank()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_bitmask 0-4294967295
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_bit s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->status 4096-ptr_max
DATA_SOURCE 0 vgpu r idr_get_next
NOCHECK_CALL
LOCK2 &gvt->lock
TYPE_LOCK (struct intel_gvt)->lock