IXPREG
IXPREG(IXPPCI_IRQ_ENABLE_CLEAR) = pci_irqs;
IXPREG(IXPPCI_IRQ_ENABLE_SET) = pci_intr_enabled & ~pci_irqs;
IXPREG(IXPPCI_IRQ_ENABLE_SET) = (1U << (irq - SYS_NIRQ));
IXPREG(IXPPCI_IRQ_ENABLE_CLEAR) = (1U << (irq - SYS_NIRQ));
return IXPREG(IXP12X0_IRQ_VBASE) & IXP12X0_INTR_MASK;
return IXPREG(IXPPCI_IRQ_STATUS);
return IXPREG(IXP425_INT_STATUS) & intr_enabled;
IXPREG(IXP425_INT_SELECT) = intr_steer & IXP425_INT_HWMASK;
IXPREG(IXP425_GPIO_VBASE + IXP425_GPIO_GPISR) =
IXPREG(IXP425_GPIO_VBASE + IXP425_GPIO_GPISR) =
IXPREG(IXP425_INT_ENABLE) = intr_enabled & IXP425_INT_HWMASK;
IXPREG(IXP425_EXP_VBASE + EXP_TIMING_CS2_OFFSET) =
IXPREG(IXP425_INT_ENABLE) = 0;