(vaddr_t vaddr, int len, int type); // interrupt/exception vaddr_t isa_raise_intr(word_t NO, vaddr_t epc); #define INTR_EMPTY ((word_t)-1) word_t isa_query_intr(); // difftest bool isa_difftest_checkregs(CPU_state *ref_r, vaddr_t pc, vaddr_t npc); void isa...