riscv_set_intr_handler
riscv_set_intr_handler(riscv_intc_irq_handler);
void riscv_set_intr_handler(void (*intr_handle)(void *));