ixp2000_reg_write(IXP2000_PCI_XSCALE_INT_ENABLE, (temp & ~(1 << 26)));
ixp2000_reg_wrb(IXP2000_PCI_XSCALE_INT_ENABLE, (temp & ~(1 << 26)));
static void ixp2000_pci_irq_mask(unsigned int irq){	unsigned long temp = *IXP2000_PCI_XSCALE_INT_ENABLE;	if (irq == IRQ_IXP2000_PCIA)		ixp2000_reg_write(IXP2000_PCI_XSCALE_INT_ENABLE, (temp & ~(1 << 26)));	else if (irq == IRQ_IXP2000_PCIB)		ixp2000_reg_write(IXP2000_PCI_XSCALE_INT_ENABLE, (temp & ~(1 << 27)));}