IO_IO_HIGH        808 arch/parisc/kernel/drivers.c #define READ_IO_IO_HIGH(dev) (unsigned long)(signed int)gsc_readl(dev->hpa.start + IO_IO_HIGH)
IO_IO_HIGH         70 drivers/parisc/hppb.c 	card->mmio_region.end = gsc_readl(dev->hpa.start + IO_IO_HIGH) - 1;