map 0	at 0xa57f4000 size 0x200000	(physical 0x31c7a000)	=> no dump
map 1	at 0xa59f4000 size 0x4000	(physical 0x31f46000)	=> registers
map 2	at 0xa59f8000 size 0x100000	(physical 0x31c26000)	=> PCI/PCIE scratch
map 3	at 0xa5af8000 size 0x40000	(physical 0x31dcf000)	=> registers (no read, PCI-E)
map 4	at 0xa5b38000 size 0x20000	(physical 0x31d7b000)	=> registers
map 5	at 0xa5be0000 size 0x10000000	(physical 0xc0000000)	=> no dump
map 6	at 0xb5be0000 size 0x1000000	(physical 0xf3000000)	=> no dump
map 7	at 0xb79d8000 size 0x4000	(physical 0x31c2c000)	=> registers
map 8	at 0xb79dc000 size 0x1000	(physical 0xc10cb000)	=> registers (no read, PCI-E)
map 9	at 0xb79dd000 size 0x1000	(physical 0x31c2d000)	=> registers (no read, PCI-E)
map 10	at 0xb79de000 size 0x1000	(physical 0x31c2e000)	=> registers (no read, PCI-E)
map 11	at 0xb79df000 size 0x1000	(physical 0xf3060000)	=> registers (no read, PCI-E)
map 12	at 0xb79e0000 size 0x1000	(physical 0xf3c06000)	=> registers (no read, PCI-E)
map 13	at 0xb79e1000 size 0x1000	(physical 0xf3642000)	=> registers (no read, PCI-E)
map 14	at 0xb79e2000 size 0x1000	(physical 0x36ad2000)	=> registers (no read, PCI-E)
map 15	at 0xb79e3000 size 0x1000	(physical 0xf3641000)	=> registers (no read, PCI-E)
map 16	at 0xb79e4000 size 0x1000	(physical 0x36ac8000)	=> registers (no read, PCI-E)