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 config: X86_64_GENERIC (device acpi at :59 -> ACPI + acpi_button compiled in, no acpi.ko)
modules: ehci.ko, xhci.ko only
acpi_button driver registered (kldstat -v: "acpi/acpi_button"); no acpi_button device instance (dmesg empty)
button events on this guest: fixed events handled by acpi.c:1974-1993 (acpi_enable_fixed_events)
button sysctls hw.acpi.power_button_state / hw.acpi.sleep_button_state are owned by acpi.c, not acpi_button.c
dmesg button lines: "acpi0: Power Button (fixed)" (from acpi.c:1986)