total_address_ranges_size
uint64 total_address_ranges_size(addr_range* ranges, uint32 numRanges);
return total_address_ranges_size(gKernelArgs.physical_memory_range,