generic2e_isa_intr
set_intr(INTPRI_ISA, CR_INT_3, generic2e_isa_intr);
uint32_t generic2e_isa_intr(uint32_t, struct trapframe *);