MAX_VIRTUAL_ALLOCATED_RANGE
addr_range virtual_allocated_range[MAX_VIRTUAL_ALLOCATED_RANGE];
&gKernelArgs.num_virtual_allocated_ranges, MAX_VIRTUAL_ALLOCATED_RANGE,
&gKernelArgs.num_virtual_allocated_ranges, MAX_VIRTUAL_ALLOCATED_RANGE,