void writel(unsigned int b, const volaltile void __iomem *addr)