et6000aclReadInterruptClear
__inline void et6000aclReadInterruptClear(void *base);
et6000aclReadInterruptClear(si->mmRegs);
et6000aclReadInterruptClear(si->mmRegs);
et6000aclReadInterruptClear(si->mmRegs);
et6000aclReadInterruptClear(si->mmRegs);