DOVE_DB_SMIRQIMR
write_dbreg(DOVE_DB_SMIRQIMR, 0);
+ irqbase * (DOVE_DB_SMIRQIMR - DOVE_DB_MIRQIMR) / 32;
+ irqbase * (DOVE_DB_SMIRQIMR - DOVE_DB_MIRQIMR) / 32;
uint32_t pending2 = read_dbreg(DOVE_DB_SMIRQIMR);