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