xref: /linux-6.15/scripts/gdb/linux/timerlist.py (revision fc54a4f1)