writel(val, (void *) ap->ioaddr.scr_addr + (sc_reg * 4)); 
writel(val, (void __iomem *) ap->ioaddr.scr_addr + (sc_reg * 4)); 
static void ahci_scr_write (struct ata_port *ap, unsigned int sc_reg_in,			       u32 val){	unsigned int sc_reg;	switch (sc_reg_in) {	case SCR_STATUS:	sc_reg = 0; break;	case SCR_CONTROL:	sc_reg = 1; break;	case SCR_ERROR:		sc_reg = 2; break;	case SCR_ACTIVE:	sc_reg = 3; break;	default:		return;	}	writel(val, (void *) ap->ioaddr.scr_addr + (sc_reg * 4));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1e4f2a96aeb373000ccd783e0f5b40294b5e668a/ahci.c/buggy/drivers/scsi/ahci.c