- A_PRINTF("0x9808 0x%x ......\n", HAL_WORD_REG_READ(0x10ff9808));
- A_PRINTF("0x7890 0x%x ......\n", HAL_WORD_REG_READ(0x10ff7890));
- A_PRINTF("0x7890 0x%x ......\n", HAL_WORD_REG_READ(0x10ff7890));
- A_PRINTF("0x4088 0x%x ......\n", HAL_WORD_REG_READ(0x10ff4088));
+ A_PRINTF("0x9808 0x%x ......\n", ioread32(0x10ff9808));
+ A_PRINTF("0x7890 0x%x ......\n", ioread32(0x10ff7890));
+ A_PRINTF("0x7890 0x%x ......\n", ioread32(0x10ff7890));
+ A_PRINTF("0x4088 0x%x ......\n", ioread32(0x10ff4088));