20 lines
494 B
C
20 lines
494 B
C
#ifndef VAS_EBOOT_SYSTEM_CPU_HEADER
|
|
#define VAS_EBOOT_SYSTEM_CPU_HEADER
|
|
|
|
#include <VasEBoot/symbol.h>
|
|
#include <VasEBoot/types.h>
|
|
|
|
enum
|
|
{
|
|
VAS_EBOOT_ARM_MACHINE_TYPE_RASPBERRY_PI = 3138,
|
|
VAS_EBOOT_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 /* ! VAS_EBOOT_SYSTEM_CPU_HEADER */
|
|
|