Make dma_caches accept volatile

diff --git a/include/grub/cache.h b/include/grub/cache.h
index 5c5cafa805f9ee14ac08d596823e810fe3f89939..9d2c27ab9238e7905b8e2914c98f71ab6d852938 100644 (file)
--- a/include/grub/cache.h
+++ b/include/grub/cache.h
@@ -41,7 +41,7 @@ grub_arch_sync_dma_caches (void *address __attribute__ ((unused)),
 {
 }
 #else
-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);
 #endif
 #endif