EFI_ALLOC_LIMIT
#define EFI_X86_KERNEL_ALLOC_LIMIT EFI_ALLOC_LIMIT
max = min(max, EFI_ALLOC_LIMIT);
#ifndef EFI_ALLOC_LIMIT
EFI_LOADER_CODE, 0, EFI_ALLOC_LIMIT);
(unsigned long)_end < EFI_ALLOC_LIMIT) {
max = min(max, EFI_ALLOC_LIMIT);
seed, EFI_LOADER_CODE, 0, EFI_ALLOC_LIMIT);