creating sys/ forwarding header /tmp/forwarder_x86_64/include/ucontext.h
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/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 harness.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o df864_harness.ko harness.o
BUILD_RC=0
hammer2_mount: root devstr="vbd0s1d"
hammer2_mount: device="vbd0s1d" label="ROOT" rdonly=1
hammer2_ondisk: "/dev/vbd0s1d" zone=2 id=0 offset=0x0000000000000000 size=0x000000063f000000
hammer2_mount: hmp=0xfffff8008fae0000 pmp=0xfffff80090280000
DMA space used: 13580k, remaining available: 131072k
Mounting devfs
hammer2_mount: "vbd0s1d": no recovery needed
hammer2: enable read/write
HAMMER2: VOLDATA DUMP
HAMMER2: INITIATE SPANs
swap low/high-water marks set to 41940/62910
=== DF-0864 harness: hpfs_toupper OOB read demo ===
  simulated hpm_cpdblk: 1 entries x 136 bytes = 136-byte alloc @ 0xfffff8004f1e8880
  IN-BOUNDS  cp=0   char=0xFF -> b_upcase[0x7F] = 0xAA (marker=0xAA)
    address read: 0xfffff8004f1e8905
  OOB        cp=255  char=0xFF -> b_upcase[0x7F] = 0x00 (kernel heap byte)
    address read: 0xfffff8004f1f107d  (= base + 34813 = base + 34677 past end of 136-byte alloc)
  RESULT: in_bounds=0xAA  oob=0x00  DIFFERENT (proves OOB reads distinct memory)
  OOB samples at cp=255: [0xfffff8004f1f107d]=0x00 [0xfffff8004f1f1105]=0x00 [0xfffff8004f1f118d]=0x00 [0xfffff8004f1f1215]=0x00 [0xfffff8004f1f129d]=0x00 [0xfffff8004f1f1325]=0x00 [0xfffff8004f1f13ad]=0x00 [0xfffff8004f1f1435]=0x00
=== DF-0864 harness complete ===