Symbol: cpu_cache_nop_range
sys/arch/riscv64/riscv64/cpu.c
594
void (*cpu_dcache_wbinv_range)(vaddr_t, vsize_t) = cpu_cache_nop_range;
sys/arch/riscv64/riscv64/cpu.c
595
void (*cpu_dcache_inv_range)(vaddr_t, vsize_t) = cpu_cache_nop_range;
sys/arch/riscv64/riscv64/cpu.c
596
void (*cpu_dcache_wb_range)(vaddr_t, vsize_t) = cpu_cache_nop_range;