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