AUX_CHANNEL_B
event = AUX_CHANNEL_B;
[AUX_CHANNEL_B] = "AUX Channel B",
SET_BIT_INFO(irq, 25, AUX_CHANNEL_B, INTEL_GVT_IRQ_INFO_PCH);
SET_BIT_INFO(irq, 25, AUX_CHANNEL_B, INTEL_GVT_IRQ_INFO_DE_PORT);