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