DF-4738 hardware gate evidence (audit QEMU guest, DragonFly 6.5-DEVELOPMENT)

$ pciconf -l
hostb0@pci0:0:0:0:   class=0x060000 card=0x11001af4 chip=0x12378086 rev=0x02 hdr=0x00
isab1@pci0:0:1:0:    class=0x060100 card=0x11001af4 chip=0x70008086 rev=0x00 hdr=0x00
atapci0@pci0:0:1:1:  class=0x010180 card=0x11001af4 chip=0x70108086 rev=0x00 hdr=0x00
none0@pci0:0:1:3:    class=0x068000 card=0x11001af4 chip=0x71138086 rev=0x03 hdr=0x00
vgapci0@pci0:0:2:0:  class=0x030000 card=0x11001af4 chip=0x11111234 rev=0x02 hdr=0x00
virtio_pci0@pci0:0:3:0: class=0x020000 card=0x00011af4 chip=0x10001af4 rev=0x00 hdr=0x00
virtio_pci1@pci0:0:4:0: class=0x010000 card=0x00021af4 chip=0x10011af4 rev=0x00 hdr=0x00

$ pciconf -l | grep -Eic "vendor=0x1022|vendor=0x10de|0x0607"
0
-> No CardBus bridge (class 0x0607) device exists; cbb(4) never attaches
   on this guest, so the in-kernel renumbering path cannot execute.

$ devinfo | grep -ci "amdpm|cbb"
0

=> Allocator logic proven by the guest-run replica (run.log).