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