PXA2X0_INTCTL_BASE
aa.pxa_addr = PXA2X0_INTCTL_BASE;
if (pxaintc_attached || pxa->pxa_addr != PXA2X0_INTCTL_BASE)
PXA2X0_INTCTL_BASE,
PXA2X0_INTCTL_BASE,
PXA2X0_INTCTL_BASE,
PXA2X0_INTCTL_BASE,
PXA2X0_INTCTL_BASE,
PXA2X0_INTCTL_BASE,
pxa2x0_intr_bootstrap(PXA2X0_INTCTL_BASE);