# DF-5141 guest environment
#
# Kernel the panic was reproduced on (stock, clean-source snapshot):
#   DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
# Kernel the fix was validated on (patched with fix.diff):
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Wed Sep 30 07:26:18 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
#
# PCI devices on the guest (count 7): no Mylex RAID controller present
# (no vendor 0x1069, no 0x1011:1065) — mlx_pci_probe() matches nothing:
#   hostb0  0x12378086   isab1   0x70008086   atapci0 0x70108086
#   none0   0x71138086   vgapci0 0x11111234   virtio_pci0 0x10001af4 (vtnet)
#   virtio_pci1 0x10011af4 (vbd)
#
# Source sync verified: guest /usr/src/sys/dev/raid/mlx/{mlx.c,mlx_pci.c}
# md5-identical to the audited host tree:
#   mlx.c     6c364dc0bd6a1ea98f155bf02ab38bdc
#   mlx_pci.c 7dd2e2ee6083e2e1cbddc8df629a679f
#
# mlx is compiled into X86_64_GENERIC (sys/config/X86_64_GENERIC:134);
# mlx_free/mlx_attach are global kernel symbols (nm -g /boot/kernel/kernel).
#
# Kernel config of the guest build: kern.osrevision 600519, hw.ncpu 6.