intel_vgpu_get_irq_count 1475 drivers/gpu/drm/i915/gvt/kvmgt.c 		info.count = intel_vgpu_get_irq_count(vgpu, info.index);
intel_vgpu_get_irq_count 1497 drivers/gpu/drm/i915/gvt/kvmgt.c 			int max = intel_vgpu_get_irq_count(vgpu, hdr.index);