+ machine="?"
+ fi
+ shift
+ ;;
+ -cpu)
+ # Check if the CPU is configured to run in 32-bit mode and
+ # force the gvic to version 2 in that case
+ args+=("$1")
+ args+=("$2")
+ if echo "$2" | egrep -q '(^|,)aarch64=off(,|$)' ; then
+ machine="virt,gic-version=2"