#ifndef VAS_EBOOT_MEMORY_CPU_HEADER
#include <VasEBoot/efi/memory.h>
#define VAS_EBOOT_EFI_MAX_USABLE_ADDRESS 0xffffffffffffULL
#endif /* ! VAS_EBOOT_MEMORY_CPU_HEADER */