GICC_IAR_IRQ
uint32_t irq = __SHIFTOUT(iar, GICC_IAR_IRQ);
irq = __SHIFTOUT(iar, GICC_IAR_IRQ);
struct pci_attach_args *frame_pa[GICC_IAR_IRQ];