From 6f49d0aacb1a26d756faa849ea5b18d1322091d5 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Sat, 1 Jan 2011 15:53:31 +0100
Subject: [PATCH] Add missing cache.c

---
 grub-core/Makefile.core.def |  1 +
 grub-core/kern/emu/cache.c  | 10 ++++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 grub-core/kern/emu/cache.c

diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index b953adfb9..801ad6d7c 100644
--- 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
index 000000000..bdff146ef
--- /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);
+}