std :: hal::riscv
#include <std/hal/riscv.h> source ยท definition
#include <std/hal/riscv.h>
void rv_csr_write_mtvec(unsigned long val)