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