Lines Matching full:kernel_range
437 if test "$KERNEL_RANGE"; then
438 echo "KERNEL_RANGE=$KERNEL_RANGE" >> $SETUP_FILE
505 if test ! -z "$KERNEL_RANGE"; then
536 KERNEL_RANGE="`echo $tmp1`,`echo $tmp2`"
537 vecho "KERNEL_RANGE $KERNEL_RANGE"
848 KERNEL_RANGE=$val
964 vecho "KERNEL_RANGE $KERNEL_RANGE"
1502 OPD_ARGS="$OPD_ARGS --vmlinux=$VMLINUX --kernel-range=$KERNEL_RANGE"
