#ifndef VasEBoot_SYSTEM_CPU_HEADER
#define VasEBoot_SYSTEM_CPU_HEADER

#include <VasEBoot/types.h>

enum
  {
    VasEBoot_ARM_MACHINE_TYPE_RASPBERRY_PI = 3138,
    VasEBoot_ARM_MACHINE_TYPE_FDT = 0xFFFFFFFF
  };

void EXPORT_FUNC(VasEBoot_arm_disable_caches_mmu) (void);
void VasEBoot_arm_enable_caches_mmu (void);
void VasEBoot_arm_enable_mmu (VasEBoot_uint32_t *mmu_tables);
void VasEBoot_arm_clear_mmu_v6 (void);

#endif /* ! VasEBoot_SYSTEM_CPU_HEADER */