ABX8XX_IRQ_AIE    292 drivers/rtc/rtc-abx80x.c 	t->enabled = !!(irq_mask & ABX8XX_IRQ_AIE);
ABX8XX_IRQ_AIE    324 drivers/rtc/rtc-abx80x.c 						 ABX8XX_IRQ_AIE));
ABX8XX_IRQ_AIE    508 drivers/rtc/rtc-abx80x.c 						 ABX8XX_IRQ_AIE));