1 /* Public domain. */ 2 3 #ifndef _ASM_CACHEFLUSH_H 4 #define _ASM_CACHEFLUSH_H 5 6 #if defined(__i386__) || defined(__amd64__) 7 #include <uvm/uvm_extern.h> 8 #include <machine/pmap.h> 9 10 #define clflush_cache_range(va, len) pmap_flush_cache((vaddr_t)(va), len) 11 12 #endif 13 14 #endif 15