Symbol: thead_setup_cache
sys/riscv/include/thead.h
35
void thead_setup_cache(void);
sys/riscv/riscv/identcpu.c
536
thead_setup_cache();