scripts/gdb: cast CPU numbers to integer
[sfrench/cifs-2.6.git] / scripts / gdb / linux / cpus.py
index fc316fb3a3d4f5c00845e6ddcb824a7c419c0544..ca11e8df31b6b7f4107e2b14e06aa7ef866f1859 100644 (file)
@@ -97,7 +97,7 @@ def cpu_list(mask_name):
         bits >>= 1
         bit += 1
 
-        yield cpu
+        yield int(cpu)
 
 
 def each_online_cpu():