gic_get_and_ack_irq
unsigned int intid = gic_get_and_ack_irq();
unsigned int intid = gic_get_and_ack_irq();
uint32_t intid = gic_get_and_ack_irq();
_intid = gic_get_and_ack_irq(); \
intid = gic_get_and_ack_irq();
u32 intid = gic_get_and_ack_irq();
unsigned int gic_get_and_ack_irq(void);