grub/grub-core/kern/emu/cache.c
2013-12-08 17:49:02 +01:00

24 lines
457 B
C

#include <grub/cache.h>
#if defined(__ia64__) || defined (__arm__) || defined (__aarch64__)
void __clear_cache (char *beg, char *end);
void
grub_arch_sync_caches (void *address, grub_size_t len)
{
__clear_cache (address, (char *) address + len);
}
#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