kernel/scripts/gdb/linux/cpus.py
.. .. @@ -135,6 +135,7 @@ 135 135 gdb.write("Online CPUs : {}\n".format(list(each_online_cpu()))) 136 136 gdb.write("Active CPUs : {}\n".format(list(each_active_cpu()))) 137 137 138 +138 139 LxCpus() 139 140 140 141