DF5667 SYMS prv=0x0000000001115978 ncpus=0x0000000000a0dd74 kernacc=0x00000000006e2010 pkex=0x0000000000725290 igds=0x0000000000720f10 kvac=0x000000000071d910
=== DF5667 vkernel booted (i=3) ===
DF5667 raw ptr bytes: [           00  00  40  00  80  00  00  00                                ]
DF5667 BASE16=0x8000400000 BASE10=549760008192
DF5667 targets DEAD=0x8000420123 DEADP=0x8000420000 LIVE=0x8000400040
DF5667 VKERNEL_ALIVE=yes
=== DDB call battery ===
65:db> call 0x0000000000720f10(0x8000420123, 0x800042012b)
67:db> call 0x00000000006e2010(0x8000420123, 8, 1)
69:db> call 0x0000000000725290(0x8000420123)
71:db> call 0x000000000071d910(0x8000420000, 0x8000421000, 1)
73:db> call 0x00000000006e2010(0x8000400040, 8, 1)
75:db> call 0x0000000000725290(0x8000400040)
77:db> call 0x0000000000720f10(0x8000400040, 0x8000400048)
=== scan transitions ===
88:se st=EF; fi; if [ "$st" != "$prev" ]; then echo "PG $n $st addr=$((off*4096))";

89: prev=$st; fi; n=$((n+1)); done; echo DF5667_SCAN_DONE
90:PG 0 OK addr=549760008192
91:PG 16 EF addr=549760073728
92:DF5667_SCAN_DONE
=== tail ===
# n=0; prev=X; while [ $n -lt 1700 ]; do off=$(( 549760008192/4096 + n )); if dd

 if=/dev/kmem of=/dev/null bs=4096 count=1 skip=$off 2>/dev/null; then st=OK; el

se st=EF; fi; if [ "$st" != "$prev" ]; then echo "PG $n $st addr=$((off*4096))";

 prev=$st; fi; n=$((n+1)); done; echo DF5667_SCAN_DONE
PG 0 OK addr=549760008192
PG 16 EF addr=549760073728
DF5667_SCAN_DONE
# DF5667_DRIVER_DONE