xref: /freebsd-13.1/sys/dev/xen/debug/debug.c (revision 2a55bade)