intren_reg         82 drivers/uio/uio_pruss.c 	void __iomem *intren_reg = base + PINTC_HIER;
intren_reg         86 drivers/uio/uio_pruss.c 	val = ioread32(intren_reg);