IXP425_GPIO_VBASE
IXPREG(IXP425_GPIO_VBASE + IXP425_GPIO_GPISR) =
IXPREG(IXP425_GPIO_VBASE + IXP425_GPIO_GPISR) =
#define GPRD(r) *((volatile uint32_t *)(IXP425_GPIO_VBASE+(r)))
#define GPWR(r,v) *((volatile uint32_t *)(IXP425_GPIO_VBASE+(r))) = (v)