intrdis_reg 83 drivers/uio/uio_pruss.c void __iomem *intrdis_reg = base + PINTC_HIDISR; intrdis_reg 91 drivers/uio/uio_pruss.c iowrite32(intr_bit, intrdis_reg);