Searched defs:cpu_sdcache_wbinv_range (Results 1 - 3 of 3) sorted by relevance
| /src/sys/arch/riscv/riscv/ |
| H A D | cpu.c | 62 void (*cpu_sdcache_wbinv_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 | 112 #define cpu_sdcache_wbinv_range(v,p,s) ((void)0) macro
|
| /src/sys/arch/arm/include/ |
| H A D | cpufunc.h | 244 #define cpu_sdcache_wbinv_range(a, b, s) cpufuncs.cf_sdcache_wbinv_range((a), (b), (s)) macro
|
Completed in 3 milliseconds