CRT_HOTPLUG
[CRT_HOTPLUG] = "CRT Hotplug",
SET_BIT_INFO(irq, 19, CRT_HOTPLUG, INTEL_GVT_IRQ_INFO_PCH);