grub/grub-core/kern/emu/cache.c

30 lines
576 B
C
Raw Normal View History

#ifndef GRUB_MACHINE_EMU
#error "This source is only meant for grub-emu platform"
#endif
2011-01-01 14:53:31 +00:00
#include <grub/cache.h>
#if defined(__ia64__)
#include "../ia64/cache.c"
#elif defined (__arm__) || defined (__aarch64__)
2013-12-08 16:49:02 +00:00
void __clear_cache (void *beg, void *end);
2011-01-01 14:53:31 +00:00
void
grub_arch_sync_caches (void *address, grub_size_t len)
{
__clear_cache (address, (char *) address + len);
}
2013-12-08 16:49:02 +00:00
#elif defined (__mips__)
void _flush_cache (void *address, grub_size_t len, int type);
void
grub_arch_sync_caches (void *address, grub_size_t len)
{
return _flush_cache (address, len, 0);
}
#endif