grub2/include/grub/arm/system.h
2013-04-07 02:41:07 +02:00

8 lines
144 B
C

#ifndef GRUB_SYSTEM_CPU_HEADER
#define GRUB_SYSTEM_CPU_HEADER
void grub_arm_disable_caches_mmu (void);
#endif /* ! GRUB_SYSTEM_CPU_HEADER */