Idle thread PID

gistfile1.txt

$ drgn
...
>>> for cpu in for_each_present_cpu():
...     task = per_cpu(prog["runqueues"], cpu).idle
...     print(task.comm, task.pid)
...
(char [16])"swapper/0" (pid_t)0
(char [16])"swapper/1" (pid_t)0
(char [16])"swapper/2" (pid_t)0
(char [16])"swapper/3" (pid_t)0
(char [16])"swapper/4" (pid_t)0
(char [16])"swapper/5" (pid_t)0
(char [16])"swapper/6" (pid_t)0
(char [16])"swapper/7" (pid_t)0