Add missing cache.c

diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index b953adfb94d6e9cb07558aeca8560e2244fa21fb..801ad6d7c1f1a9c32a62e425d53ce5919410af8a 100644 (file)
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -158,6 +158,7 @@ kernel = {
   emu = kern/emu/misc.c;
   emu = kern/emu/mm.c;
   emu = kern/emu/time.c;
+  emu = kern/emu/cache.c;
 
   videoinkernel = lib/arg.c;
   videoinkernel = term/gfxterm.c;

diff --git a/grub-core/kern/emu/cache.c b/grub-core/kern/emu/cache.c
new file mode 100644 (file)
index 0000000..bdff146
--- /dev/null
+++ b/grub-core/kern/emu/cache.c
@@ -0,0 +1,10 @@
+
+#include <grub/cache.h>
+
+void __clear_cache (char *beg, char *end);
+
+void
+grub_arch_sync_caches (void *address, grub_size_t len)
+{
+  __clear_cache (address, (char *) address + len);
+}