Searched defs:cpu_sdcache_wbinv_range (Results 1 – 3 of 3) sorted by relevance
61 void (*cpu_sdcache_wbinv_range)(vaddr_t, paddr_t, psize_t) = cache_nullop; variable
110 #define cpu_sdcache_wbinv_range( global() macro
230 #define cpu_sdcache_wbinv_range(a, b, s) cpufuncs.cf_sdcache_wbinv_range((a), (b), (s)) macro