I think readl and writel are deprecated in favor of ioread32 and iowrite32.