MAX_PHYSICAL_MEMORY_RANGE
addr_range physical_memory_range[MAX_PHYSICAL_MEMORY_RANGE];
&gKernelArgs.num_physical_memory_ranges, MAX_PHYSICAL_MEMORY_RANGE,
&gKernelArgs.num_physical_memory_ranges, MAX_PHYSICAL_MEMORY_RANGE,
"used already!\n", base, end, MAX_PHYSICAL_MEMORY_RANGE);