> Date: Tue, 10 Jul 2018 18:34:20 +0200 > From: "Peter J. Philipp" <p...@centroid.eu> > > Node 0xff891d98 > name: 'memory' > device_type: 'memory' > reg: > 00000000.00000000.40000000.00000000.40000000.40000000.00000001.00000000.40000000.00000001.40000000.40000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000.00000000
So you have four banks of memory: 0x40000000 @ 0x00000000000000000 0x40000000 @ 0x00000000040000000 0x40000000 @ 0x00000000100000000 0x40000000 @ 0x00000000140000000 The last two have a starting address >= 0x0000000100000000 and therefore can't be used in 32-bit mode. So these should not be counted. Cheers, Mark
