grub_arch_sync_dma_caches: Accept volatile address

diff --git a/include/grub/cache.h b/include/grub/cache.h
index a9b3f529cc7907080f532362a6110a1eaa85a20c..fc669dfd1892c14bb43c6230e48067a0ff8e7c23 100644 (file)
--- a/include/grub/cache.h
+++ b/include/grub/cache.h
@@ -35,10 +35,11 @@ void EXPORT_FUNC(grub_arch_sync_caches) (void *address, grub_size_t len);
 
 #ifndef GRUB_MACHINE_EMU
 #ifdef _mips
-void EXPORT_FUNC(grub_arch_sync_dma_caches) (void *address, grub_size_t len);
+void EXPORT_FUNC(grub_arch_sync_dma_caches) (volatile void *address,
+                                            grub_size_t len);
 #else
 static inline void
-grub_arch_sync_dma_caches (void *address __attribute__ ((unused)),
+grub_arch_sync_dma_caches (volatile void *address __attribute__ ((unused)),
                           grub_size_t len __attribute__ ((unused)))
 {
 }