1
#ifndef GRUB_SYSTEM_CPU_HEADER
2
#define GRUB_SYSTEM_CPU_HEADER
4
#include <grub/types.h>
8
GRUB_ARM_MACHINE_TYPE_RASPBERRY_PI = 3138,
9
GRUB_ARM_MACHINE_TYPE_FDT = 0xFFFFFFFF
12
void EXPORT_FUNC(grub_arm_disable_caches_mmu) (void);
13
void grub_arm_enable_caches_mmu (void);
14
void grub_arm_enable_mmu (grub_uint32_t *mmu_tables);
15
void grub_arm_clear_mmu_v6 (void);
17
#endif /* ! GRUB_SYSTEM_CPU_HEADER */