DOVE_DB_MIRQIMR
write_dbreg(DOVE_DB_MIRQIMR, 0);
const size_t reg = DOVE_DB_MIRQIMR
+ irqbase * (DOVE_DB_SMIRQIMR - DOVE_DB_MIRQIMR) / 32;
const size_t reg = DOVE_DB_MIRQIMR
+ irqbase * (DOVE_DB_SMIRQIMR - DOVE_DB_MIRQIMR) / 32;
uint32_t pending = read_dbreg(DOVE_DB_MIRQIMR);