riscv_do_pending_intr
riscv_do_pending_intr(new);
void riscv_do_pending_intr(int);
riscv_do_pending_intr(newcpl);