AVIC_INT_SELECT    71 drivers/irqchip/irq-aspeed-vic.c 	writel(0, vic->base + AVIC_INT_SELECT);
AVIC_INT_SELECT    72 drivers/irqchip/irq-aspeed-vic.c 	writel(0, vic->base + AVIC_INT_SELECT + 4);