1.1 --- a/tools/python/xen/xm/create.py	Mon Jul 21 14:02:53 2008 +0100
     1.2 +++ b/tools/python/xen/xm/create.py	Mon Jul 21 14:03:26 2008 +0100
     1.3 @@ -956,6 +956,10 @@ def preprocess_cpuid(vals, attr_name):
     1.4                  if reg_match == None:
     1.5                      err("cpuid's syntax is (eax|ebx|ecx|edx)=value")
     1.6                  res = reg_match.groupdict()
     1.7 +                if (res['val'][:2] != '0x' and len(res['val']) != 32):
     1.8 +                    err("cpuid: We should specify all the bits " \
     1.9 +                        "of the register %s for input %s\n"
    1.10 +                        % (res['reg'], input) )
    1.11                  cpuid[input][res['reg']] = res['val'] # new register
    1.12      setattr(vals, attr_name, cpuid)
    1.13