arch/x86/include/asm/cacheflush.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _ASM_X86_CACHEFLUSH_H
   3 #define _ASM_X86_CACHEFLUSH_H
   4
   5 /* Caches aren't brain-dead on the intel. */
   6 #include <asm-generic/cacheflush.h>
   7 #include <asm/special_insns.h>
   8
   9 void clflush_cache_range(void *addr, unsigned int size);
  10
  11 #endif /* _ASM_X86_CACHEFLUSH_H */