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);