Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched refs:r10k_sdcache_wb_range (Results 1 - 3 of 3) sorted by relevancy

/src/sys/arch/mips/include/
cache_r10k.h	84 void r10k_sdcache_wb_range(register_t, vsize_t);
/src/sys/arch/mips/mips/
cache_r10k.c	317 r10k_sdcache_wb_range(register_t va, vsize_t size) function in typeref:typename:void
cache.c	821 r10k_sdcache_wb_range;

Completed in 44 milliseconds

Indexes created Sat Oct 18 08:10:09 GMT 2025