112 	if (readl((void __iomem *)intr_addr) & 0x03)  in sgiioc4_checkirq()
128 	intr_reg = readl((void __iomem *)other_ir);  in sgiioc4_clearirq()
153 				readl((void __iomem *)io_ports->irq_addr);  in sgiioc4_clearirq()
155 				readl((void __iomem *)(io_ports->irq_addr + 4));  in sgiioc4_clearirq()
169 		writel(0x03, (void __iomem *)other_ir);  in sgiioc4_clearirq()
171 		intr_reg = readl((void __iomem *)other_ir);  in sgiioc4_clearirq()
181 	unsigned int reg = readl((void __iomem *)ioc4_dma_addr);  in sgiioc4_dma_start()
184 	writel(temp_reg, (void __iomem *)ioc4_dma_addr);  in sgiioc4_dma_start()
194 	ioc4_dma = readl((void __iomem *)ioc4_dma_addr);  in sgiioc4_ide_dma_stop()
197 		ioc4_dma = readl((void __iomem *)ioc4_dma_addr);  in sgiioc4_ide_dma_stop()
211 	writel(IOC4_S_DMA_STOP, (void __iomem *)(dma_base + IOC4_DMA_CTRL * 4));  in sgiioc4_dma_end()
243 	bc_dev = readl((void __iomem *)(dma_base + IOC4_BC_DEV * 4));  in sgiioc4_dma_end()
244 	bc_mem = readl((void __iomem *)(dma_base + IOC4_BC_MEM * 4));  in sgiioc4_dma_end()
293 	u8 reg = (u8) readb((void __iomem *) port);  in sgiioc4_read_status()
297 		unsigned int intr_reg = (u32) readl((void __iomem *) other_ir);  in sgiioc4_read_status()
301 			writel(0x03, (void __iomem *) other_ir);  in sgiioc4_read_status()
302 			intr_reg = (u32) readl((void __iomem *) other_ir);  in sgiioc4_read_status()
365 	ioc4_dma = readl((void __iomem *)ioc4_dma_addr);  in sgiioc4_configure_for_dma()
370 		writel(IOC4_S_DMA_STOP, (void __iomem *)ioc4_dma_addr);  in sgiioc4_configure_for_dma()
378 	ioc4_dma = readl((void __iomem *)ioc4_dma_addr);  in sgiioc4_configure_for_dma()
383 		writel(IOC4_S_DMA_STOP, (void __iomem *)ioc4_dma_addr);  in sgiioc4_configure_for_dma()
393 	writel(dma_addr, (void __iomem *)(dma_base + IOC4_DMA_PTR_L * 4));  in sgiioc4_configure_for_dma()
398 	writel(ending_dma_addr, (void __iomem *)(dma_base +  in sgiioc4_configure_for_dma()
401 	writel(dma_direction, (void __iomem *)ioc4_dma_addr);  in sgiioc4_configure_for_dma()
538 	void __iomem *virt_base;  in sgiioc4_ide_setup_pci_device()
571 	writel(0x03, (void __iomem *)(irqport + IOC4_INTR_SET * 4));  in sgiioc4_ide_setup_pci_device()