Guest environment (DF-22X verification batch, 2026-10-20/21)
=============================================================
uname -a (harness kernel):
  DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Tue Oct 20 23:24:18 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/DFV22X  x86_64
compiler: cc 8.3 [DragonFly] Release/2019-02-22
kern.osrevision: 600519
hw.ncpu: 6
hw.physmem: 4257873920 (~4 GB)
kernel: custom KERNCONF DFV22X = X86_64_GENERIC (stock INVARIANTS kernel of the
  audit guest) + ident DFV22X + device dfverify; rig compiled kernel-resident
  (runtime kldload of drm GPFs on this guest, so kernel-compile rig class,
  same as the DF-2212 ttm harness kernel).
stock kernel backup: /boot/kernel/kernel.stock (sha256-identical source tree)
modules loaded at test time: kernel, ehci.ko, xhci.ko (drm NOT loaded)
PCI topology: i440fx - hostb0, isab1, atapci0, none0(class 068000), vgapci0,
  virtio_pci0, virtio_pci1 - all classic PCI (pci_is_pcie()==0 for all),
  which drives pcie_capability_reg_implemented()==false for every register.
dynamic kernel environment: active (kenv(1) works; smbios.system.maker=QEMU)
source tree: /usr/src = clean-source snapshot; the four audited files
  sha256-identical to the audit host sys/ tree at build time (build.sh gates):
  linux_dmi.c      c0f7f7a52d0096cceab39e15d5cf1e4b53b9455e3ac9e26bb8219a039e29fb28
  linux_kobject.c  50b635ee8cddbf89c57c323ecb3a08b52e42f4974a022e19356bd182990b2983
  linux_pci.c      314205e0d2938c88f054af14a0e05aa366d0145817ac145627053cfef067cc04
  linux_printf.c   a0570e25ff37fdab0037bcef35e7c98a4b3d9e397f5f46358f28551eaa2e27f1
assembled rig df_22x_rig.c sha256:
  c646506a8cbeda4dcb0ade737617a507fac86cf3d381b7df14e25aad5ab10fae
extractions (guest-computed):
  kvasprintf_verbatim.c 12efc1be3bef3f342179d0fd952ea002f57cf246fa897380be7279046d58913c
  fixed_dmi.c           76433ec6c3beea419fb93a3d2ccddddd7b5c1268477590686b7776caf4451362
  fixed_kobject.c       c53ad2be6db6dbde8c2abb5983335e519b2cb45c543a4d1e863845edaff29108
  fixed_pci.c           c0de448774f93e6901406ff366e20b9bcdac8d2aca1d9084a752a07324d47d91
  fixed_printf.c        553ca5b7e154e5e37e37323b28dd5e2206617ffeed290f6eb86b99b3e4b4d3dd