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