buftop     cbuf       rbuf       pbuf       acbuf       verdict
ffffed00   ffff9d00   ffff5d00   ffff1d00   fffe57a0  WRAPS -> ~4G OOB bus_space offset
fffffbff   ffffabff   ffff6bff   ffff2bff   fffe669f  WRAPS -> ~4G OOB bus_space offset
0000aaef   00005aef   00001aef   ffffdaef   ffff158f  WRAPS -> ~4G OOB bus_space offset
0001a55f   0001555f   0001155f   0000d55f   00000fff  below 0x1b960 -> overlaps regs/coeff areas
000fec00   000f9c00   000f5c00   000f1c00   000e56a0  below 0x1b960 -> overlaps regs/coeff areas
003fec00   003f9c00   003f5c00   003f1c00   003e56a0  in range (legit)
005fec00   005f9c00   005f5c00   005f1c00   005e56a0  in range (legit)

minimum sane buftop = 0x1400+0x5000+2*0x4000+0x3158*4 = 0x1b960
EXIT=0