scripts/gdb: cast CPU numbers to integer

[mirror_ubuntu-artful-kernel.git] / scripts / gdb / linux / cpus.py

diff --git a/scripts/gdb/linux/cpus.py b/scripts/gdb/linux/cpus.py
index fc316fb3a3d4f5c00845e6ddcb824a7c419c0544..ca11e8df31b6b7f4107e2b14e06aa7ef866f1859 100644 (file)
--- a/scripts/gdb/linux/cpus.py
+++ b/scripts/gdb/linux/cpus.py
@@ -97,7 +97,7 @@ def cpu_list(mask_name):
         bits >>= 1
         bit += 1
 
-        yield cpu
+        yield int(cpu)
 
 
 def each_online_cpu():