RMIXL_PCIX_ECFG_INTR_STATUS
uint32_t status = RMIXL_PCIXREG_READ(RMIXL_PCIX_ECFG_INTR_STATUS);
status = RMIXL_PCIXREG_READ(RMIXL_PCIX_ECFG_INTR_STATUS);
status = RMIXL_PCIXREG_READ(RMIXL_PCIX_ECFG_INTR_STATUS);
(void)RMIXL_PCIXREG_READ(RMIXL_PCIX_ECFG_INTR_STATUS);