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