Searched refs:BOOT_CPUS (Results 1 – 1 of 1) sorted by relevance
1171 BOOT_CPUS=$(cat $BOOT_ISOLATED_FILE)1172 [[ -n "$BOOT_CPUS" ]] || {1177 BOOT_CPU=$(echo "$BOOT_CPUS" | sed -e 's/[,-].*//')