if (__sil24_reset_controller((void *)ap->ioaddr.cmd_addr)) 
if (__sil24_reset_controller((void __iomem *)ap->ioaddr.cmd_addr)) 
static void sil24_reset_controller(struct ata_port *ap){	printk(KERN_NOTICE DRV_NAME	       " ata%u: resetting controller...\n", ap->id);	if (__sil24_reset_controller((void *)ap->ioaddr.cmd_addr))                printk(KERN_ERR DRV_NAME                       " ata%u: failed to reset controller\n", ap->id);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4b4a5eaedfc098d825d4c34cad1f1115802512b7/sata_sil24.c/buggy/drivers/scsi/sata_sil24.c