⬢ DragonFlyBSD Kernel Audit
DF-4024 / env.txt
← back to finding ↓ download raw
Guest (pre-reset capture, then reset with-src; wedge test was DF-4025's):
DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64

NIC: virtio_pci0@pci0:0:3:0 chip=0x10001af4 (virtio-net); ifconfig -l -> vtnet0 lo0
     pciconf -lv | grep -ci realtek -> 0 ; sysctl hw.re -> unknown oid (if_re never attached)
Guest source /usr/src/sys/dev/netif/re/if_re.c md5 = ea743c5c903e5574c26f0d9cb83f7396
Audited tree sys/dev/netif/re/if_re.c     md5 = ea743c5c903e5574c26f0d9cb83f7396   (MATCH)

=> re_rxeof is unreachable on this guest (no RTL8169/8168/8101E/8125 device);
   trigger.c (geometry model) builds and runs: run.log (RC=0, extents printed).