Lines Matching defs:gKernelArgs
21 kernel_args gKernelArgs;
32 return insert_address_range(gKernelArgs.kernel_args_range,
33 &gKernelArgs.num_kernel_args_ranges, MAX_KERNEL_ARGS_RANGE,
288 return insert_address_range(gKernelArgs.physical_memory_range,
289 &gKernelArgs.num_physical_memory_ranges, MAX_PHYSICAL_MEMORY_RANGE,
297 return remove_address_range(gKernelArgs.physical_memory_range,
298 &gKernelArgs.num_physical_memory_ranges, MAX_PHYSICAL_MEMORY_RANGE,
306 return total_address_ranges_size(gKernelArgs.physical_memory_range,
307 gKernelArgs.num_physical_memory_ranges);
314 return insert_address_range(gKernelArgs.physical_allocated_range,
315 &gKernelArgs.num_physical_allocated_ranges,
323 return insert_address_range(gKernelArgs.virtual_allocated_range,
324 &gKernelArgs.num_virtual_allocated_ranges, MAX_VIRTUAL_ALLOCATED_RANGE,
335 sort_address_ranges(gKernelArgs.physical_memory_range,
336 gKernelArgs.num_physical_memory_ranges);
341 for (uint32 i = gKernelArgs.num_physical_memory_ranges; i > 0; i--) {
342 addr_range& range = gKernelArgs.physical_memory_range[i - 1];
348 gKernelArgs.ignored_physical_memory += range.size;
349 gKernelArgs.num_physical_memory_ranges = i - 1;
358 gKernelArgs.ignored_physical_memory