#1# Copyright (c) 2025 Mark Johnston <[email protected]>2#3# SPDX-License-Identifier: BSD-2-Clause4#56import gdb78cmds = ["acttrace",9"p $V(\"tcbinfo\")",10"p $V(\"tcbinfo\", vnet0)",11"p $V(\"pf_status\")",12"p $V(\"pf_status\", \"gdbselftest\")",13"p $PCPU(\"curthread\")",14"p $PCPU(\"curthread\", 0)",15"p/x $PCPU(\"hardclocktime\", 1)",16"p $PCPU(\"pqbatch\")[0][0]",17"p $PCPU(\"ss\", 1)",18]1920for cmd in cmds:21try:22print(f"Running command: '{cmd}'")23gdb.execute(cmd)24except gdb.error as e:25print(f"Command '{cmd}' failed: {e}")26break2728# We didn't hit any unexpected errors. This isn't as good as actually29# verifying the output, but it's better than nothing.30print("Everything seems OK")313233