Symbol: MAX_KERNEL_ARGS_RANGE
headers/private/kernel/boot/kernel_args.h
63
addr_range kernel_args_range[MAX_KERNEL_ARGS_RANGE];
src/system/boot/loader/kernel_args.cpp
33
&gKernelArgs.num_kernel_args_ranges, MAX_KERNEL_ARGS_RANGE,