Searched defs:cpu_sdcache_wb_range (Results 1 - 3 of 3) sorted by relevance
| /src/sys/arch/riscv/riscv/ | ||
| H A D | cpu.c | 64 void (*cpu_sdcache_wb_range)(vaddr_t, paddr_t, psize_t) = cache_nullop; variable in typeref:typename:void (*)(vaddr_t,paddr_t,psize_t) |
| /src/sys/arch/aarch64/include/ | ||
| H A D | cpufunc.h | 114 #define cpu_sdcache_wb_range(v,p,s) ((void)0) macro |
| /src/sys/arch/arm/include/ | ||
| H A D | cpufunc.h | 246 #define cpu_sdcache_wb_range(a, b, s) cpufuncs.cf_sdcache_wb_range((a), (b), (s)) macro |
Completed in 3 milliseconds