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