Symbol: intel_vgpu_get_irq_count
sys/dev/pci/drm/i915/gvt/kvmgt.c
1343
info.count = intel_vgpu_get_irq_count(vgpu, info.index);
sys/dev/pci/drm/i915/gvt/kvmgt.c
1365
int max = intel_vgpu_get_irq_count(vgpu, hdr.index);