E820_ALLOCATE_HIGHEST
case E820_ALLOCATE_HIGHEST:
e820_alloc(4 * GB, length, alignment, type, E820_ALLOCATE_HIGHEST));