1 2 3 4 5 6
#ifndef GRUB_MEMORY_CPU_HEADER #include <grub/efi/memory.h> #define GRUB_EFI_MAX_USABLE_ADDRESS 0xffffffffffffULL #endif /* ! GRUB_MEMORY_CPU_HEADER */