mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
ARM caches
This commit is contained in:
1 parent
418b32f8e9
commit
502a7c48e9
2 files changed
+9
-3
No files matched your search
@@ -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)
|
||||
{
|
||||
|
||||
Reference in new issue
Block a user