⬢ DragonFlyBSD Kernel Audit
DF-5527 / run.log
← back to finding ↓ download raw
== setting kenv RSDP hint (idempotent) ==
console="comconsole"
hint.acpi.0.rsdp=0x40000000
== boot with planted chain (DF-5518 gpio_chain.bin) ==
booting guest headless (daemonized)...
waiting for ssh (dfbsd-maxx)...
up (pid 872151)
== rig sanity ==
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
gpio_intel0: <Intel Cherry Trail GPIO Controller> iomem 0xd0000-0xd7fff irq 5 on acpi0
gpio_acpi0: <ACPI GeneralPurposeIo backend> on gpio_intel0
== baseline register image (MASK/IS before harness) ==
00000000  00 00 00 00                                       |....|
00000004
00000000  ff ff 00 00                                       |....|
00000004
== build + load harness ==
== [1/2] upload sources (gpio_intel_var.h copied for the kmod build) ==
== [2/2] build kmod on guest ==
Warning: Object directory not changed from original /tmp/gf5527
dragonfly -> /sys
machine_base -> /sys/platform/pc64
machine -> /sys/platform/pc64/include
cpu_base -> /sys/cpu/x86_64
cpu -> /sys/cpu/x86_64/include
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/alignbytes.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/asm.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/asm_mjgmacros.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/asmacros.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/atomic.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/bus_dma.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/cpu.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/cpufunc.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/cpumask.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/cputypes.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/db_machdep.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/elf.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/endian.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/exec.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/frame.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/ieeefp.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/int_const.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/int_limits.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/inttypes.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/limits.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/lwbuf.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/npx.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/param.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/pat.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/pmap.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/profile.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/psl.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/reg.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/reloc.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/segments.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/setjmp.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/sigframe.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/signal.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/specialreg.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/stdarg.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/stdint.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/sysarch.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/tls.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/trap.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/tss.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/types.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/ucontext.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/vframe.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/wchar.h
creating machine/ forwarding header /tmp/gf5527/forwarder_x86_64/include/machine/wchar_limits.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/aio.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/errno.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/fcntl.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/linker_set.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/poll.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/syslog.h
creating sys/ forwarding header /tmp/gf5527/forwarder_x86_64/include/ucontext.h
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/gpio/gpio_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m
cc  -O2 -pipe   -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes  -Wmissing-prototypes -Wpointer-arith -Wcast-qual  -Wold-style-definition -Wmissing-include-dirs  -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc  -I. -Idragonfly -I/tmp/gf5527/forwarder_x86_64/include -Idragonfly/../include -I/usr/include  -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline   -c gpiofree.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o gpiofree.ko gpiofree.o
-rw-r--r--  1 root  wheel  6464 Oct  6 23:00 gpiofree.ko
BUILD-OK
KLDLOAD-RC=0
== full kernel log of the run ==
gpiofree: gpio_intel0 dev=0xfffff8008bb7fbc0 sc=0xfffff8008dd4e080
gpiofree: planted pin8 CTL0=50008000 CTL1=00000002; pin15 CTL0=60008000 CTL1=00000002
gpiofree[before]: IS=0000ffff MASK=00000000 (bit5=0 bit6=0) map5{pin=-1,intidx=0,is_level=0} map6{pin=-1,intidx=0,is_level=0}
gpiofree[A]: GPIO_ALLOC_INTR(pin8 line5) = 0 cookie=0xfffff8008dd4e190
gpiofree[A-alloc]: IS=0000ffff MASK=00000000 (bit5=0 bit6=0) map5{pin=8,intidx=5,is_level=0} map6{pin=-1,intidx=0,is_level=0}
gpiofree[A]: after GPIO_SETUP_INTR (enable_intr unmasked line 5)
gpiofree[A-setup]: IS=00000020 MASK=00000020 (bit5=1 bit6=0) map5{pin=8,intidx=5,is_level=0} map6{pin=-1,intidx=0,is_level=0}
gpiofree[A]: after GPIO_FREE_INTR with NO teardown -> unmap_intr destroyed the mapping
gpiofree[A-free]: IS=00000020 MASK=00000020 (bit5=1 bit6=0) map5{pin=-1,intidx=-1,is_level=0} map6{pin=-1,intidx=0,is_level=0}
gpiofree[B]: GPIO_ALLOC_INTR(pin15 line6) = 0 cookie=0xfffff8008dd4e1b8
gpiofree[B]: after SETUP -> TEARDOWN -> FREE (documented order)
gpiofree[B-done]: IS=00000040 MASK=00000020 (bit5=1 bit6=0) map5{pin=-1,intidx=-1,is_level=0} map6{pin=-1,intidx=-1,is_level=0}
gpiofree: SUMMARY MASK=00000020: line5 armed-with-no-mapping=1 (DEFECT if 1), line6 left-armed=0 (control, expect 0)
== userland cross-check: MASK (0xD0380) and IS (0xD0300) ==
00000000  20 00 00 00                                       | ...|
00000004
00000000  40 00 00 00                                       |@...|
00000004
11:00PM  up 16 secs, 0 users, load averages: 0.21, 0.05, 0.02
== guest still alive / status ==
ALIVE
11:00PM  up 16 secs, 0 users, load averages: 0.21, 0.05, 0.02
up