AUX_CHANNEL_C
event = AUX_CHANNEL_C;
[AUX_CHANNEL_C] = "AUX Channel C",
SET_BIT_INFO(irq, 26, AUX_CHANNEL_C, INTEL_GVT_IRQ_INFO_PCH);
SET_BIT_INFO(irq, 26, AUX_CHANNEL_C, INTEL_GVT_IRQ_INFO_DE_PORT);