ARM caches

diff --git a/grub-core/kern/arm/cache.c b/grub-core/kern/arm/cache.c
index 34154ccdb0e09d7d9fd91c4164fe8577ce449260..d3a086abb3a8104174d969e710896ae65a9d9b76 100644 (file)
--- a/grub-core/kern/arm/cache.c
+++ b/grub-core/kern/arm/cache.c
@@ -252,6 +252,12 @@ grub_arch_sync_caches (void *address, grub_size_t len)
     }
 }
 
+void
+grub_arch_sync_dma_caches (void *address, grub_size_t len)
+{
+  grub_arch_sync_caches (address, len);
+}
+
 void
 grub_arm_disable_caches_mmu (void)
 {

diff --git a/include/grub/cache.h b/include/grub/cache.h
index a9b3f529cc7907080f532362a6110a1eaa85a20c..5c5cafa805f9ee14ac08d596823e810fe3f89939 100644 (file)
--- a/include/grub/cache.h
+++ b/include/grub/cache.h
@@ -34,14 +34,14 @@ void EXPORT_FUNC(grub_arch_sync_caches) (void *address, grub_size_t len);
 #endif
 
 #ifndef GRUB_MACHINE_EMU
-#ifdef _mips
-void EXPORT_FUNC(grub_arch_sync_dma_caches) (void *address, grub_size_t len);
-#else
+#if defined (__i386__) || defined (__x86_64__)
 static inline void
 grub_arch_sync_dma_caches (void *address __attribute__ ((unused)),
                           grub_size_t len __attribute__ ((unused)))
 {
 }
+#else
+void EXPORT_FUNC(grub_arch_sync_dma_caches) (void *address, grub_size_t len);
 #endif
 #endif