DF-5451 fix_run.log — PATCHED kernel (fix.combined.diff), same PoC:
kldload /root/poc/nxget/nxget.ko

[dmesg]
nxget0: <nexus get_resource printf PoC> on motherboard
DF-5451: bus_get_resource returned 0 start=0xe0000000 count=0x1000 (the leaked-pointer line above came from nexus.c:567)
[messages]
0
(the "(the leaked-pointer line ...)" text is the PoC's own kprintf; the
nexus.c:567 "startp %p countp %p - got %p" line is GONE from dmesg and
/var/log/messages; bus_get_resource() still succeeds.)