- local max_possible_cpu_id=$(cut -d '-' -f 2 < /sys/devices/system/cpu/possible)
- echo $((max_possible_cpu_id+1))
+ local max_possible_cpu_id
+
+ # The Awk script extracts the highest CPU id from the possible CPU
+ # mask. Assuming a numerical order, a field separator '-' and a record
+ # separator ','. The last value parsed is the highest id.
+ if [ -f /sys/devices/system/cpu/possible ]; then
+ max_possible_cpu_id=$(awk -F '-' 'BEGIN { RS = ","} { last = $NF } END { printf("%d\n", last) }' \
+ /sys/devices/system/cpu/possible)
+ echo "$((max_possible_cpu_id+1))"
+ else
+ echo "0"
+ fi