et6000aclInterruptCause
__inline char et6000aclInterruptCause(void *base);
switch (et6000aclInterruptCause(si->mmRegs)) {
