Guest: 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 Compiler: cc 8.3 [DragonFly] Release/2019-02-22 Kernel sources: /usr/src/sys (with-src snapshot, matches running kernel) Kernel objdir: /usr/obj/usr/src/sys/X86_64_GENERIC GPU hardware: NONE — vgapci0@pci0:0:2:0 chip=0x11111234 (QEMU/Bochs extended VGA), /dev/dri absent. => No AMD Display Core device exists on this guest; the dispatcher is exercised via the KLD synthetic-table harness (family standard). Modules at rest: kernel, ehci.ko, xhci.ko (harness unloaded after run). Audit host tree: sys/dev/drm/amd/display/dc/irq/irq_service.c @ 169 LOC (git snapshot 6cc80ee9, read-only audit target)