AUX_CHANNEL_A
event = AUX_CHANNEL_A;
[AUX_CHANNEL_A] = "AUX Channel A",
SET_BIT_INFO(irq, 0, AUX_CHANNEL_A, INTEL_GVT_IRQ_INFO_DE_PORT);