AUX_CHANNEL_D
event = AUX_CHANNEL_D;
[AUX_CHANNEL_D] = "AUX Channel D",
SET_BIT_INFO(irq, 27, AUX_CHANNEL_D, INTEL_GVT_IRQ_INFO_PCH);
SET_BIT_INFO(irq, 27, AUX_CHANNEL_D, INTEL_GVT_IRQ_INFO_DE_PORT);