IXP425_MCU_VBASE
#define MCU_REG_READ(x) (*(volatile uint32_t *)(IXP425_MCU_VBASE + (x)))
IXP425_MCU_VBASE,