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