=== NEW TEST ===
Page = 4 KiB, Superpage = 2 MiB
have_superpages = yes

MAP sigma0[64K/page] -> server[ALL:page]
=> single page mapped to server
MapDB node at 0x10000
 space=server vaddr=0x4000 size=0x1000

MAP sigma0[0/superpage] -> server[ALL:0]
=> many pages mapped to server overmapping previous mapping
MapDB node at 0x10000
 space=server vaddr=0x0 size=0x1000
 space=server vaddr=0x1000 size=0x1000
 space=server vaddr=0x2000 size=0x1000
 space=server vaddr=0x3000 size=0x1000
 space=server vaddr=0x4000 size=0x1000
 space=server vaddr=0x5000 size=0x1000
 space=server vaddr=0x6000 size=0x1000
 space=server vaddr=0x7000 size=0x1000
 space=server vaddr=0x8000 size=0x1000
 space=server vaddr=0x9000 size=0x1000
 space=server vaddr=0xa000 size=0x1000
 space=server vaddr=0xb000 size=0x1000
 space=server vaddr=0xc000 size=0x1000
 space=server vaddr=0xd000 size=0x1000
 space=server vaddr=0xe000 size=0x1000
 space=server vaddr=0xf000 size=0x1000
 space=server vaddr=0x10000 size=0x1000
 space=server vaddr=0x11000 size=0x1000
 space=server vaddr=0x12000 size=0x1000
 space=server vaddr=0x13000 size=0x1000
 space=server vaddr=0x14000 size=0x1000
 space=server vaddr=0x15000 size=0x1000
 space=server vaddr=0x16000 size=0x1000
 space=server vaddr=0x17000 size=0x1000
 space=server vaddr=0x18000 size=0x1000
 space=server vaddr=0x19000 size=0x1000
 space=server vaddr=0x1a000 size=0x1000
 space=server vaddr=0x1b000 size=0x1000
 space=server vaddr=0x1c000 size=0x1000
 space=server vaddr=0x1d000 size=0x1000
 space=server vaddr=0x1e000 size=0x1000
 space=server vaddr=0x1f000 size=0x1000
 space=server vaddr=0x20000 size=0x1000
 space=server vaddr=0x21000 size=0x1000
 space=server vaddr=0x22000 size=0x1000
 space=server vaddr=0x23000 size=0x1000
 space=server vaddr=0x24000 size=0x1000
 space=server vaddr=0x25000 size=0x1000
 space=server vaddr=0x26000 size=0x1000
 space=server vaddr=0x27000 size=0x1000
 space=server vaddr=0x28000 size=0x1000
 space=server vaddr=0x29000 size=0x1000
 space=server vaddr=0x2a000 size=0x1000
 space=server vaddr=0x2b000 size=0x1000
 space=server vaddr=0x2c000 size=0x1000
 space=server vaddr=0x2d000 size=0x1000
 space=server vaddr=0x2e000 size=0x1000
 space=server vaddr=0x2f000 size=0x1000
 space=server vaddr=0x30000 size=0x1000
 space=server vaddr=0x31000 size=0x1000
 space=server vaddr=0x32000 size=0x1000
 space=server vaddr=0x33000 size=0x1000
 space=server vaddr=0x34000 size=0x1000
 space=server vaddr=0x35000 size=0x1000
 space=server vaddr=0x36000 size=0x1000
 space=server vaddr=0x37000 size=0x1000
 space=server vaddr=0x38000 size=0x1000
 space=server vaddr=0x39000 size=0x1000
 space=server vaddr=0x3a000 size=0x1000
 space=server vaddr=0x3b000 size=0x1000
 space=server vaddr=0x3c000 size=0x1000
 space=server vaddr=0x3d000 size=0x1000
 space=server vaddr=0x3e000 size=0x1000
 space=server vaddr=0x3f000 size=0x1000
 space=server vaddr=0x40000 size=0x1000
 space=server vaddr=0x41000 size=0x1000
 space=server vaddr=0x42000 size=0x1000
 space=server vaddr=0x43000 size=0x1000
 space=server vaddr=0x44000 size=0x1000
 space=server vaddr=0x45000 size=0x1000
 space=server vaddr=0x46000 size=0x1000
 space=server vaddr=0x47000 size=0x1000
 space=server vaddr=0x48000 size=0x1000
 space=server vaddr=0x49000 size=0x1000
 space=server vaddr=0x4a000 size=0x1000
 space=server vaddr=0x4b000 size=0x1000
 space=server vaddr=0x4c000 size=0x1000
 space=server vaddr=0x4d000 size=0x1000
 space=server vaddr=0x4e000 size=0x1000
 space=server vaddr=0x4f000 size=0x1000
 space=server vaddr=0x50000 size=0x1000
 space=server vaddr=0x51000 size=0x1000
 space=server vaddr=0x52000 size=0x1000
 space=server vaddr=0x53000 size=0x1000
 space=server vaddr=0x54000 size=0x1000
 space=server vaddr=0x55000 size=0x1000
 space=server vaddr=0x56000 size=0x1000
 space=server vaddr=0x57000 size=0x1000
 space=server vaddr=0x58000 size=0x1000
 space=server vaddr=0x59000 size=0x1000
 space=server vaddr=0x5a000 size=0x1000
 space=server vaddr=0x5b000 size=0x1000
 space=server vaddr=0x5c000 size=0x1000
 space=server vaddr=0x5d000 size=0x1000
 space=server vaddr=0x5e000 size=0x1000
 space=server vaddr=0x5f000 size=0x1000
 space=server vaddr=0x60000 size=0x1000
 space=server vaddr=0x61000 size=0x1000
 space=server vaddr=0x62000 size=0x1000
 space=server vaddr=0x63000 size=0x1000
 space=server vaddr=0x64000 size=0x1000
 space=server vaddr=0x65000 size=0x1000
 space=server vaddr=0x66000 size=0x1000
 space=server vaddr=0x67000 size=0x1000
 space=server vaddr=0x68000 size=0x1000
 space=server vaddr=0x69000 size=0x1000
 space=server vaddr=0x6a000 size=0x1000
 space=server vaddr=0x6b000 size=0x1000
 space=server vaddr=0x6c000 size=0x1000
 space=server vaddr=0x6d000 size=0x1000
 space=server vaddr=0x6e000 size=0x1000
 space=server vaddr=0x6f000 size=0x1000
 space=server vaddr=0x70000 size=0x1000
 space=server vaddr=0x71000 size=0x1000
 space=server vaddr=0x72000 size=0x1000
 space=server vaddr=0x73000 size=0x1000
 space=server vaddr=0x74000 size=0x1000
 space=server vaddr=0x75000 size=0x1000
 space=server vaddr=0x76000 size=0x1000
 space=server vaddr=0x77000 size=0x1000
 space=server vaddr=0x78000 size=0x1000
 space=server vaddr=0x79000 size=0x1000
 space=server vaddr=0x7a000 size=0x1000
 space=server vaddr=0x7b000 size=0x1000
 space=server vaddr=0x7c000 size=0x1000
 space=server vaddr=0x7d000 size=0x1000
 space=server vaddr=0x7e000 size=0x1000
 space=server vaddr=0x7f000 size=0x1000
 space=server vaddr=0x80000 size=0x1000
 space=server vaddr=0x81000 size=0x1000
 space=server vaddr=0x82000 size=0x1000
 space=server vaddr=0x83000 size=0x1000
 space=server vaddr=0x84000 size=0x1000
 space=server vaddr=0x85000 size=0x1000
 space=server vaddr=0x86000 size=0x1000
 space=server vaddr=0x87000 size=0x1000
 space=server vaddr=0x88000 size=0x1000
 space=server vaddr=0x89000 size=0x1000
 space=server vaddr=0x8a000 size=0x1000
 space=server vaddr=0x8b000 size=0x1000
 space=server vaddr=0x8c000 size=0x1000
 space=server vaddr=0x8d000 size=0x1000
 space=server vaddr=0x8e000 size=0x1000
 space=server vaddr=0x8f000 size=0x1000
 space=server vaddr=0x90000 size=0x1000
 space=server vaddr=0x91000 size=0x1000
 space=server vaddr=0x92000 size=0x1000
 space=server vaddr=0x93000 size=0x1000
 space=server vaddr=0x94000 size=0x1000
 space=server vaddr=0x95000 size=0x1000
 space=server vaddr=0x96000 size=0x1000
 space=server vaddr=0x97000 size=0x1000
 space=server vaddr=0x98000 size=0x1000
 space=server vaddr=0x99000 size=0x1000
 space=server vaddr=0x9a000 size=0x1000
 space=server vaddr=0x9b000 size=0x1000
 space=server vaddr=0x9c000 size=0x1000
 space=server vaddr=0x9d000 size=0x1000
 space=server vaddr=0x9e000 size=0x1000
 space=server vaddr=0x9f000 size=0x1000
 space=server vaddr=0xa0000 size=0x1000
 space=server vaddr=0xa1000 size=0x1000
 space=server vaddr=0xa2000 size=0x1000
 space=server vaddr=0xa3000 size=0x1000
 space=server vaddr=0xa4000 size=0x1000
 space=server vaddr=0xa5000 size=0x1000
 space=server vaddr=0xa6000 size=0x1000
 space=server vaddr=0xa7000 size=0x1000
 space=server vaddr=0xa8000 size=0x1000
 space=server vaddr=0xa9000 size=0x1000
 space=server vaddr=0xaa000 size=0x1000
 space=server vaddr=0xab000 size=0x1000
 space=server vaddr=0xac000 size=0x1000
 space=server vaddr=0xad000 size=0x1000
 space=server vaddr=0xae000 size=0x1000
 space=server vaddr=0xaf000 size=0x1000
 space=server vaddr=0xb0000 size=0x1000
 space=server vaddr=0xb1000 size=0x1000
 space=server vaddr=0xb2000 size=0x1000
 space=server vaddr=0xb3000 size=0x1000
 space=server vaddr=0xb4000 size=0x1000
 space=server vaddr=0xb5000 size=0x1000
 space=server vaddr=0xb6000 size=0x1000
 space=server vaddr=0xb7000 size=0x1000
 space=server vaddr=0xb8000 size=0x1000
 space=server vaddr=0xb9000 size=0x1000
 space=server vaddr=0xba000 size=0x1000
 space=server vaddr=0xbb000 size=0x1000
 space=server vaddr=0xbc000 size=0x1000
 space=server vaddr=0xbd000 size=0x1000
 space=server vaddr=0xbe000 size=0x1000
 space=server vaddr=0xbf000 size=0x1000
 space=server vaddr=0xc0000 size=0x1000
 space=server vaddr=0xc1000 size=0x1000
 space=server vaddr=0xc2000 size=0x1000
 space=server vaddr=0xc3000 size=0x1000
 space=server vaddr=0xc4000 size=0x1000
 space=server vaddr=0xc5000 size=0x1000
 space=server vaddr=0xc6000 size=0x1000
 space=server vaddr=0xc7000 size=0x1000
 space=server vaddr=0xc8000 size=0x1000
 space=server vaddr=0xc9000 size=0x1000
 space=server vaddr=0xca000 size=0x1000
 space=server vaddr=0xcb000 size=0x1000
 space=server vaddr=0xcc000 size=0x1000
 space=server vaddr=0xcd000 size=0x1000
 space=server vaddr=0xce000 size=0x1000
 space=server vaddr=0xcf000 size=0x1000
 space=server vaddr=0xd0000 size=0x1000
 space=server vaddr=0xd1000 size=0x1000
 space=server vaddr=0xd2000 size=0x1000
 space=server vaddr=0xd3000 size=0x1000
 space=server vaddr=0xd4000 size=0x1000
 space=server vaddr=0xd5000 size=0x1000
 space=server vaddr=0xd6000 size=0x1000
 space=server vaddr=0xd7000 size=0x1000
 space=server vaddr=0xd8000 size=0x1000
 space=server vaddr=0xd9000 size=0x1000
 space=server vaddr=0xda000 size=0x1000
 space=server vaddr=0xdb000 size=0x1000
 space=server vaddr=0xdc000 size=0x1000
 space=server vaddr=0xdd000 size=0x1000
 space=server vaddr=0xde000 size=0x1000
 space=server vaddr=0xdf000 size=0x1000
 space=server vaddr=0xe0000 size=0x1000
 space=server vaddr=0xe1000 size=0x1000
 space=server vaddr=0xe2000 size=0x1000
 space=server vaddr=0xe3000 size=0x1000
 space=server vaddr=0xe4000 size=0x1000
 space=server vaddr=0xe5000 size=0x1000
 space=server vaddr=0xe6000 size=0x1000
 space=server vaddr=0xe7000 size=0x1000
 space=server vaddr=0xe8000 size=0x1000
 space=server vaddr=0xe9000 size=0x1000
 space=server vaddr=0xea000 size=0x1000
 space=server vaddr=0xeb000 size=0x1000
 space=server vaddr=0xec000 size=0x1000
 space=server vaddr=0xed000 size=0x1000
 space=server vaddr=0xee000 size=0x1000
 space=server vaddr=0xef000 size=0x1000
 space=server vaddr=0xf0000 size=0x1000
 space=server vaddr=0xf1000 size=0x1000
 space=server vaddr=0xf2000 size=0x1000
 space=server vaddr=0xf3000 size=0x1000
 space=server vaddr=0xf4000 size=0x1000
 space=server vaddr=0xf5000 size=0x1000
 space=server vaddr=0xf6000 size=0x1000
 space=server vaddr=0xf7000 size=0x1000
 space=server vaddr=0xf8000 size=0x1000
 space=server vaddr=0xf9000 size=0x1000
 space=server vaddr=0xfa000 size=0x1000
 space=server vaddr=0xfb000 size=0x1000
 space=server vaddr=0xfc000 size=0x1000
 space=server vaddr=0xfd000 size=0x1000
 space=server vaddr=0xfe000 size=0x1000
 space=server vaddr=0xff000 size=0x1000
 space=server vaddr=0x100000 size=0x1000
 space=server vaddr=0x101000 size=0x1000
 space=server vaddr=0x102000 size=0x1000
 space=server vaddr=0x103000 size=0x1000
 space=server vaddr=0x104000 size=0x1000
 space=server vaddr=0x105000 size=0x1000
 space=server vaddr=0x106000 size=0x1000
 space=server vaddr=0x107000 size=0x1000
 space=server vaddr=0x108000 size=0x1000
 space=server vaddr=0x109000 size=0x1000
 space=server vaddr=0x10a000 size=0x1000
 space=server vaddr=0x10b000 size=0x1000
 space=server vaddr=0x10c000 size=0x1000
 space=server vaddr=0x10d000 size=0x1000
 space=server vaddr=0x10e000 size=0x1000
 space=server vaddr=0x10f000 size=0x1000
 space=server vaddr=0x110000 size=0x1000
 space=server vaddr=0x111000 size=0x1000
 space=server vaddr=0x112000 size=0x1000
 space=server vaddr=0x113000 size=0x1000
 space=server vaddr=0x114000 size=0x1000
 space=server vaddr=0x115000 size=0x1000
 space=server vaddr=0x116000 size=0x1000
 space=server vaddr=0x117000 size=0x1000
 space=server vaddr=0x118000 size=0x1000
 space=server vaddr=0x119000 size=0x1000
 space=server vaddr=0x11a000 size=0x1000
 space=server vaddr=0x11b000 size=0x1000
 space=server vaddr=0x11c000 size=0x1000
 space=server vaddr=0x11d000 size=0x1000
 space=server vaddr=0x11e000 size=0x1000
 space=server vaddr=0x11f000 size=0x1000
 space=server vaddr=0x120000 size=0x1000
 space=server vaddr=0x121000 size=0x1000
 space=server vaddr=0x122000 size=0x1000
 space=server vaddr=0x123000 size=0x1000
 space=server vaddr=0x124000 size=0x1000
 space=server vaddr=0x125000 size=0x1000
 space=server vaddr=0x126000 size=0x1000
 space=server vaddr=0x127000 size=0x1000
 space=server vaddr=0x128000 size=0x1000
 space=server vaddr=0x129000 size=0x1000
 space=server vaddr=0x12a000 size=0x1000
 space=server vaddr=0x12b000 size=0x1000
 space=server vaddr=0x12c000 size=0x1000
 space=server vaddr=0x12d000 size=0x1000
 space=server vaddr=0x12e000 size=0x1000
 space=server vaddr=0x12f000 size=0x1000
 space=server vaddr=0x130000 size=0x1000
 space=server vaddr=0x131000 size=0x1000
 space=server vaddr=0x132000 size=0x1000
 space=server vaddr=0x133000 size=0x1000
 space=server vaddr=0x134000 size=0x1000
 space=server vaddr=0x135000 size=0x1000
 space=server vaddr=0x136000 size=0x1000
 space=server vaddr=0x137000 size=0x1000
 space=server vaddr=0x138000 size=0x1000
 space=server vaddr=0x139000 size=0x1000
 space=server vaddr=0x13a000 size=0x1000
 space=server vaddr=0x13b000 size=0x1000
 space=server vaddr=0x13c000 size=0x1000
 space=server vaddr=0x13d000 size=0x1000
 space=server vaddr=0x13e000 size=0x1000
 space=server vaddr=0x13f000 size=0x1000
 space=server vaddr=0x140000 size=0x1000
 space=server vaddr=0x141000 size=0x1000
 space=server vaddr=0x142000 size=0x1000
 space=server vaddr=0x143000 size=0x1000
 space=server vaddr=0x144000 size=0x1000
 space=server vaddr=0x145000 size=0x1000
 space=server vaddr=0x146000 size=0x1000
 space=server vaddr=0x147000 size=0x1000
 space=server vaddr=0x148000 size=0x1000
 space=server vaddr=0x149000 size=0x1000
 space=server vaddr=0x14a000 size=0x1000
 space=server vaddr=0x14b000 size=0x1000
 space=server vaddr=0x14c000 size=0x1000
 space=server vaddr=0x14d000 size=0x1000
 space=server vaddr=0x14e000 size=0x1000
 space=server vaddr=0x14f000 size=0x1000
 space=server vaddr=0x150000 size=0x1000
 space=server vaddr=0x151000 size=0x1000
 space=server vaddr=0x152000 size=0x1000
 space=server vaddr=0x153000 size=0x1000
 space=server vaddr=0x154000 size=0x1000
 space=server vaddr=0x155000 size=0x1000
 space=server vaddr=0x156000 size=0x1000
 space=server vaddr=0x157000 size=0x1000
 space=server vaddr=0x158000 size=0x1000
 space=server vaddr=0x159000 size=0x1000
 space=server vaddr=0x15a000 size=0x1000
 space=server vaddr=0x15b000 size=0x1000
 space=server vaddr=0x15c000 size=0x1000
 space=server vaddr=0x15d000 size=0x1000
 space=server vaddr=0x15e000 size=0x1000
 space=server vaddr=0x15f000 size=0x1000
 space=server vaddr=0x160000 size=0x1000
 space=server vaddr=0x161000 size=0x1000
 space=server vaddr=0x162000 size=0x1000
 space=server vaddr=0x163000 size=0x1000
 space=server vaddr=0x164000 size=0x1000
 space=server vaddr=0x165000 size=0x1000
 space=server vaddr=0x166000 size=0x1000
 space=server vaddr=0x167000 size=0x1000
 space=server vaddr=0x168000 size=0x1000
 space=server vaddr=0x169000 size=0x1000
 space=server vaddr=0x16a000 size=0x1000
 space=server vaddr=0x16b000 size=0x1000
 space=server vaddr=0x16c000 size=0x1000
 space=server vaddr=0x16d000 size=0x1000
 space=server vaddr=0x16e000 size=0x1000
 space=server vaddr=0x16f000 size=0x1000
 space=server vaddr=0x170000 size=0x1000
 space=server vaddr=0x171000 size=0x1000
 space=server vaddr=0x172000 size=0x1000
 space=server vaddr=0x173000 size=0x1000
 space=server vaddr=0x174000 size=0x1000
 space=server vaddr=0x175000 size=0x1000
 space=server vaddr=0x176000 size=0x1000
 space=server vaddr=0x177000 size=0x1000
 space=server vaddr=0x178000 size=0x1000
 space=server vaddr=0x179000 size=0x1000
 space=server vaddr=0x17a000 size=0x1000
 space=server vaddr=0x17b000 size=0x1000
 space=server vaddr=0x17c000 size=0x1000
 space=server vaddr=0x17d000 size=0x1000
 space=server vaddr=0x17e000 size=0x1000
 space=server vaddr=0x17f000 size=0x1000
 space=server vaddr=0x180000 size=0x1000
 space=server vaddr=0x181000 size=0x1000
 space=server vaddr=0x182000 size=0x1000
 space=server vaddr=0x183000 size=0x1000
 space=server vaddr=0x184000 size=0x1000
 space=server vaddr=0x185000 size=0x1000
 space=server vaddr=0x186000 size=0x1000
 space=server vaddr=0x187000 size=0x1000
 space=server vaddr=0x188000 size=0x1000
 space=server vaddr=0x189000 size=0x1000
 space=server vaddr=0x18a000 size=0x1000
 space=server vaddr=0x18b000 size=0x1000
 space=server vaddr=0x18c000 size=0x1000
 space=server vaddr=0x18d000 size=0x1000
 space=server vaddr=0x18e000 size=0x1000
 space=server vaddr=0x18f000 size=0x1000
 space=server vaddr=0x190000 size=0x1000
 space=server vaddr=0x191000 size=0x1000
 space=server vaddr=0x192000 size=0x1000
 space=server vaddr=0x193000 size=0x1000
 space=server vaddr=0x194000 size=0x1000
 space=server vaddr=0x195000 size=0x1000
 space=server vaddr=0x196000 size=0x1000
 space=server vaddr=0x197000 size=0x1000
 space=server vaddr=0x198000 size=0x1000
 space=server vaddr=0x199000 size=0x1000
 space=server vaddr=0x19a000 size=0x1000
 space=server vaddr=0x19b000 size=0x1000
 space=server vaddr=0x19c000 size=0x1000
 space=server vaddr=0x19d000 size=0x1000
 space=server vaddr=0x19e000 size=0x1000
 space=server vaddr=0x19f000 size=0x1000
 space=server vaddr=0x1a0000 size=0x1000
 space=server vaddr=0x1a1000 size=0x1000
 space=server vaddr=0x1a2000 size=0x1000
 space=server vaddr=0x1a3000 size=0x1000
 space=server vaddr=0x1a4000 size=0x1000
 space=server vaddr=0x1a5000 size=0x1000
 space=server vaddr=0x1a6000 size=0x1000
 space=server vaddr=0x1a7000 size=0x1000
 space=server vaddr=0x1a8000 size=0x1000
 space=server vaddr=0x1a9000 size=0x1000
 space=server vaddr=0x1aa000 size=0x1000
 space=server vaddr=0x1ab000 size=0x1000
 space=server vaddr=0x1ac000 size=0x1000
 space=server vaddr=0x1ad000 size=0x1000
 space=server vaddr=0x1ae000 size=0x1000
 space=server vaddr=0x1af000 size=0x1000
 space=server vaddr=0x1b0000 size=0x1000
 space=server vaddr=0x1b1000 size=0x1000
 space=server vaddr=0x1b2000 size=0x1000
 space=server vaddr=0x1b3000 size=0x1000
 space=server vaddr=0x1b4000 size=0x1000
 space=server vaddr=0x1b5000 size=0x1000
 space=server vaddr=0x1b6000 size=0x1000
 space=server vaddr=0x1b7000 size=0x1000
 space=server vaddr=0x1b8000 size=0x1000
 space=server vaddr=0x1b9000 size=0x1000
 space=server vaddr=0x1ba000 size=0x1000
 space=server vaddr=0x1bb000 size=0x1000
 space=server vaddr=0x1bc000 size=0x1000
 space=server vaddr=0x1bd000 size=0x1000
 space=server vaddr=0x1be000 size=0x1000
 space=server vaddr=0x1bf000 size=0x1000
 space=server vaddr=0x1c0000 size=0x1000
 space=server vaddr=0x1c1000 size=0x1000
 space=server vaddr=0x1c2000 size=0x1000
 space=server vaddr=0x1c3000 size=0x1000
 space=server vaddr=0x1c4000 size=0x1000
 space=server vaddr=0x1c5000 size=0x1000
 space=server vaddr=0x1c6000 size=0x1000
 space=server vaddr=0x1c7000 size=0x1000
 space=server vaddr=0x1c8000 size=0x1000
 space=server vaddr=0x1c9000 size=0x1000
 space=server vaddr=0x1ca000 size=0x1000
 space=server vaddr=0x1cb000 size=0x1000
 space=server vaddr=0x1cc000 size=0x1000
 space=server vaddr=0x1cd000 size=0x1000
 space=server vaddr=0x1ce000 size=0x1000
 space=server vaddr=0x1cf000 size=0x1000
 space=server vaddr=0x1d0000 size=0x1000
 space=server vaddr=0x1d1000 size=0x1000
 space=server vaddr=0x1d2000 size=0x1000
 space=server vaddr=0x1d3000 size=0x1000
 space=server vaddr=0x1d4000 size=0x1000
 space=server vaddr=0x1d5000 size=0x1000
 space=server vaddr=0x1d6000 size=0x1000
 space=server vaddr=0x1d7000 size=0x1000
 space=server vaddr=0x1d8000 size=0x1000
 space=server vaddr=0x1d9000 size=0x1000
 space=server vaddr=0x1da000 size=0x1000
 space=server vaddr=0x1db000 size=0x1000
 space=server vaddr=0x1dc000 size=0x1000
 space=server vaddr=0x1dd000 size=0x1000
 space=server vaddr=0x1de000 size=0x1000
 space=server vaddr=0x1df000 size=0x1000
 space=server vaddr=0x1e0000 size=0x1000
 space=server vaddr=0x1e1000 size=0x1000
 space=server vaddr=0x1e2000 size=0x1000
 space=server vaddr=0x1e3000 size=0x1000
 space=server vaddr=0x1e4000 size=0x1000
 space=server vaddr=0x1e5000 size=0x1000
 space=server vaddr=0x1e6000 size=0x1000
 space=server vaddr=0x1e7000 size=0x1000
 space=server vaddr=0x1e8000 size=0x1000
 space=server vaddr=0x1e9000 size=0x1000
 space=server vaddr=0x1ea000 size=0x1000
 space=server vaddr=0x1eb000 size=0x1000
 space=server vaddr=0x1ec000 size=0x1000
 space=server vaddr=0x1ed000 size=0x1000
 space=server vaddr=0x1ee000 size=0x1000
 space=server vaddr=0x1ef000 size=0x1000
 space=server vaddr=0x1f0000 size=0x1000
 space=server vaddr=0x1f1000 size=0x1000
 space=server vaddr=0x1f2000 size=0x1000
 space=server vaddr=0x1f3000 size=0x1000
 space=server vaddr=0x1f4000 size=0x1000
 space=server vaddr=0x1f5000 size=0x1000
 space=server vaddr=0x1f6000 size=0x1000
 space=server vaddr=0x1f7000 size=0x1000
 space=server vaddr=0x1f8000 size=0x1000
 space=server vaddr=0x1f9000 size=0x1000
 space=server vaddr=0x1fa000 size=0x1000
 space=server vaddr=0x1fb000 size=0x1000
 space=server vaddr=0x1fc000 size=0x1000
 space=server vaddr=0x1fd000 size=0x1000
 space=server vaddr=0x1fe000 size=0x1000
 space=server vaddr=0x1ff000 size=0x1000

Verify that the MapDB entry for 64K has changed
MapDB node at 0x10000
 space=server vaddr=0x10000 size=0x1000
 space=server vaddr=0x11000 size=0x1000
 space=server vaddr=0x12000 size=0x1000
 space=server vaddr=0x13000 size=0x1000

UNMAP sigma0[512K/256K]
=> remove couple of page mappings from server
MapDB node at 0x0
 space=server vaddr=0x0 size=0x1000
 space=server vaddr=0x1000 size=0x1000
 space=server vaddr=0x2000 size=0x1000
 space=server vaddr=0x3000 size=0x1000
 space=server vaddr=0x4000 size=0x1000
 space=server vaddr=0x5000 size=0x1000
 space=server vaddr=0x6000 size=0x1000
 space=server vaddr=0x7000 size=0x1000
 space=server vaddr=0x8000 size=0x1000
 space=server vaddr=0x9000 size=0x1000
 space=server vaddr=0xa000 size=0x1000
 space=server vaddr=0xb000 size=0x1000
 space=server vaddr=0xc000 size=0x1000
 space=server vaddr=0xd000 size=0x1000
 space=server vaddr=0xe000 size=0x1000
 space=server vaddr=0xf000 size=0x1000
 space=server vaddr=0x10000 size=0x1000
 space=server vaddr=0x11000 size=0x1000
 space=server vaddr=0x12000 size=0x1000
 space=server vaddr=0x13000 size=0x1000
 space=server vaddr=0x14000 size=0x1000
 space=server vaddr=0x15000 size=0x1000
 space=server vaddr=0x16000 size=0x1000
 space=server vaddr=0x17000 size=0x1000
 space=server vaddr=0x18000 size=0x1000
 space=server vaddr=0x19000 size=0x1000
 space=server vaddr=0x1a000 size=0x1000
 space=server vaddr=0x1b000 size=0x1000
 space=server vaddr=0x1c000 size=0x1000
 space=server vaddr=0x1d000 size=0x1000
 space=server vaddr=0x1e000 size=0x1000
 space=server vaddr=0x1f000 size=0x1000
 space=server vaddr=0x20000 size=0x1000
 space=server vaddr=0x21000 size=0x1000
 space=server vaddr=0x22000 size=0x1000
 space=server vaddr=0x23000 size=0x1000
 space=server vaddr=0x24000 size=0x1000
 space=server vaddr=0x25000 size=0x1000
 space=server vaddr=0x26000 size=0x1000
 space=server vaddr=0x27000 size=0x1000
 space=server vaddr=0x28000 size=0x1000
 space=server vaddr=0x29000 size=0x1000
 space=server vaddr=0x2a000 size=0x1000
 space=server vaddr=0x2b000 size=0x1000
 space=server vaddr=0x2c000 size=0x1000
 space=server vaddr=0x2d000 size=0x1000
 space=server vaddr=0x2e000 size=0x1000
 space=server vaddr=0x2f000 size=0x1000
 space=server vaddr=0x30000 size=0x1000
 space=server vaddr=0x31000 size=0x1000
 space=server vaddr=0x32000 size=0x1000
 space=server vaddr=0x33000 size=0x1000
 space=server vaddr=0x34000 size=0x1000
 space=server vaddr=0x35000 size=0x1000
 space=server vaddr=0x36000 size=0x1000
 space=server vaddr=0x37000 size=0x1000
 space=server vaddr=0x38000 size=0x1000
 space=server vaddr=0x39000 size=0x1000
 space=server vaddr=0x3a000 size=0x1000
 space=server vaddr=0x3b000 size=0x1000
 space=server vaddr=0x3c000 size=0x1000
 space=server vaddr=0x3d000 size=0x1000
 space=server vaddr=0x3e000 size=0x1000
 space=server vaddr=0x3f000 size=0x1000
 space=server vaddr=0x40000 size=0x1000
 space=server vaddr=0x41000 size=0x1000
 space=server vaddr=0x42000 size=0x1000
 space=server vaddr=0x43000 size=0x1000
 space=server vaddr=0x44000 size=0x1000
 space=server vaddr=0x45000 size=0x1000
 space=server vaddr=0x46000 size=0x1000
 space=server vaddr=0x47000 size=0x1000
 space=server vaddr=0x48000 size=0x1000
 space=server vaddr=0x49000 size=0x1000
 space=server vaddr=0x4a000 size=0x1000
 space=server vaddr=0x4b000 size=0x1000
 space=server vaddr=0x4c000 size=0x1000
 space=server vaddr=0x4d000 size=0x1000
 space=server vaddr=0x4e000 size=0x1000
 space=server vaddr=0x4f000 size=0x1000
 space=server vaddr=0x50000 size=0x1000
 space=server vaddr=0x51000 size=0x1000
 space=server vaddr=0x52000 size=0x1000
 space=server vaddr=0x53000 size=0x1000
 space=server vaddr=0x54000 size=0x1000
 space=server vaddr=0x55000 size=0x1000
 space=server vaddr=0x56000 size=0x1000
 space=server vaddr=0x57000 size=0x1000
 space=server vaddr=0x58000 size=0x1000
 space=server vaddr=0x59000 size=0x1000
 space=server vaddr=0x5a000 size=0x1000
 space=server vaddr=0x5b000 size=0x1000
 space=server vaddr=0x5c000 size=0x1000
 space=server vaddr=0x5d000 size=0x1000
 space=server vaddr=0x5e000 size=0x1000
 space=server vaddr=0x5f000 size=0x1000
 space=server vaddr=0x60000 size=0x1000
 space=server vaddr=0x61000 size=0x1000
 space=server vaddr=0x62000 size=0x1000
 space=server vaddr=0x63000 size=0x1000
 space=server vaddr=0x64000 size=0x1000
 space=server vaddr=0x65000 size=0x1000
 space=server vaddr=0x66000 size=0x1000
 space=server vaddr=0x67000 size=0x1000
 space=server vaddr=0x68000 size=0x1000
 space=server vaddr=0x69000 size=0x1000
 space=server vaddr=0x6a000 size=0x1000
 space=server vaddr=0x6b000 size=0x1000
 space=server vaddr=0x6c000 size=0x1000
 space=server vaddr=0x6d000 size=0x1000
 space=server vaddr=0x6e000 size=0x1000
 space=server vaddr=0x6f000 size=0x1000
 space=server vaddr=0x70000 size=0x1000
 space=server vaddr=0x71000 size=0x1000
 space=server vaddr=0x72000 size=0x1000
 space=server vaddr=0x73000 size=0x1000
 space=server vaddr=0x74000 size=0x1000
 space=server vaddr=0x75000 size=0x1000
 space=server vaddr=0x76000 size=0x1000
 space=server vaddr=0x77000 size=0x1000
 space=server vaddr=0x78000 size=0x1000
 space=server vaddr=0x79000 size=0x1000
 space=server vaddr=0x7a000 size=0x1000
 space=server vaddr=0x7b000 size=0x1000
 space=server vaddr=0x7c000 size=0x1000
 space=server vaddr=0x7d000 size=0x1000
 space=server vaddr=0x7e000 size=0x1000
 space=server vaddr=0x7f000 size=0x1000
 space=server vaddr=0xc0000 size=0x1000
 space=server vaddr=0xc1000 size=0x1000
 space=server vaddr=0xc2000 size=0x1000
 space=server vaddr=0xc3000 size=0x1000
 space=server vaddr=0xc4000 size=0x1000
 space=server vaddr=0xc5000 size=0x1000
 space=server vaddr=0xc6000 size=0x1000
 space=server vaddr=0xc7000 size=0x1000
 space=server vaddr=0xc8000 size=0x1000
 space=server vaddr=0xc9000 size=0x1000
 space=server vaddr=0xca000 size=0x1000
 space=server vaddr=0xcb000 size=0x1000
 space=server vaddr=0xcc000 size=0x1000
 space=server vaddr=0xcd000 size=0x1000
 space=server vaddr=0xce000 size=0x1000
 space=server vaddr=0xcf000 size=0x1000
 space=server vaddr=0xd0000 size=0x1000
 space=server vaddr=0xd1000 size=0x1000
 space=server vaddr=0xd2000 size=0x1000
 space=server vaddr=0xd3000 size=0x1000
 space=server vaddr=0xd4000 size=0x1000
 space=server vaddr=0xd5000 size=0x1000
 space=server vaddr=0xd6000 size=0x1000
 space=server vaddr=0xd7000 size=0x1000
 space=server vaddr=0xd8000 size=0x1000
 space=server vaddr=0xd9000 size=0x1000
 space=server vaddr=0xda000 size=0x1000
 space=server vaddr=0xdb000 size=0x1000
 space=server vaddr=0xdc000 size=0x1000
 space=server vaddr=0xdd000 size=0x1000
 space=server vaddr=0xde000 size=0x1000
 space=server vaddr=0xdf000 size=0x1000
 space=server vaddr=0xe0000 size=0x1000
 space=server vaddr=0xe1000 size=0x1000
 space=server vaddr=0xe2000 size=0x1000
 space=server vaddr=0xe3000 size=0x1000
 space=server vaddr=0xe4000 size=0x1000
 space=server vaddr=0xe5000 size=0x1000
 space=server vaddr=0xe6000 size=0x1000
 space=server vaddr=0xe7000 size=0x1000
 space=server vaddr=0xe8000 size=0x1000
 space=server vaddr=0xe9000 size=0x1000
 space=server vaddr=0xea000 size=0x1000
 space=server vaddr=0xeb000 size=0x1000
 space=server vaddr=0xec000 size=0x1000
 space=server vaddr=0xed000 size=0x1000
 space=server vaddr=0xee000 size=0x1000
 space=server vaddr=0xef000 size=0x1000
 space=server vaddr=0xf0000 size=0x1000
 space=server vaddr=0xf1000 size=0x1000
 space=server vaddr=0xf2000 size=0x1000
 space=server vaddr=0xf3000 size=0x1000
 space=server vaddr=0xf4000 size=0x1000
 space=server vaddr=0xf5000 size=0x1000
 space=server vaddr=0xf6000 size=0x1000
 space=server vaddr=0xf7000 size=0x1000
 space=server vaddr=0xf8000 size=0x1000
 space=server vaddr=0xf9000 size=0x1000
 space=server vaddr=0xfa000 size=0x1000
 space=server vaddr=0xfb000 size=0x1000
 space=server vaddr=0xfc000 size=0x1000
 space=server vaddr=0xfd000 size=0x1000
 space=server vaddr=0xfe000 size=0x1000
 space=server vaddr=0xff000 size=0x1000
 space=server vaddr=0x100000 size=0x1000
 space=server vaddr=0x101000 size=0x1000
 space=server vaddr=0x102000 size=0x1000
 space=server vaddr=0x103000 size=0x1000
 space=server vaddr=0x104000 size=0x1000
 space=server vaddr=0x105000 size=0x1000
 space=server vaddr=0x106000 size=0x1000
 space=server vaddr=0x107000 size=0x1000
 space=server vaddr=0x108000 size=0x1000
 space=server vaddr=0x109000 size=0x1000
 space=server vaddr=0x10a000 size=0x1000
 space=server vaddr=0x10b000 size=0x1000
 space=server vaddr=0x10c000 size=0x1000
 space=server vaddr=0x10d000 size=0x1000
 space=server vaddr=0x10e000 size=0x1000
 space=server vaddr=0x10f000 size=0x1000
 space=server vaddr=0x110000 size=0x1000
 space=server vaddr=0x111000 size=0x1000
 space=server vaddr=0x112000 size=0x1000
 space=server vaddr=0x113000 size=0x1000
 space=server vaddr=0x114000 size=0x1000
 space=server vaddr=0x115000 size=0x1000
 space=server vaddr=0x116000 size=0x1000
 space=server vaddr=0x117000 size=0x1000
 space=server vaddr=0x118000 size=0x1000
 space=server vaddr=0x119000 size=0x1000
 space=server vaddr=0x11a000 size=0x1000
 space=server vaddr=0x11b000 size=0x1000
 space=server vaddr=0x11c000 size=0x1000
 space=server vaddr=0x11d000 size=0x1000
 space=server vaddr=0x11e000 size=0x1000
 space=server vaddr=0x11f000 size=0x1000
 space=server vaddr=0x120000 size=0x1000
 space=server vaddr=0x121000 size=0x1000
 space=server vaddr=0x122000 size=0x1000
 space=server vaddr=0x123000 size=0x1000
 space=server vaddr=0x124000 size=0x1000
 space=server vaddr=0x125000 size=0x1000
 space=server vaddr=0x126000 size=0x1000
 space=server vaddr=0x127000 size=0x1000
 space=server vaddr=0x128000 size=0x1000
 space=server vaddr=0x129000 size=0x1000
 space=server vaddr=0x12a000 size=0x1000
 space=server vaddr=0x12b000 size=0x1000
 space=server vaddr=0x12c000 size=0x1000
 space=server vaddr=0x12d000 size=0x1000
 space=server vaddr=0x12e000 size=0x1000
 space=server vaddr=0x12f000 size=0x1000
 space=server vaddr=0x130000 size=0x1000
 space=server vaddr=0x131000 size=0x1000
 space=server vaddr=0x132000 size=0x1000
 space=server vaddr=0x133000 size=0x1000
 space=server vaddr=0x134000 size=0x1000
 space=server vaddr=0x135000 size=0x1000
 space=server vaddr=0x136000 size=0x1000
 space=server vaddr=0x137000 size=0x1000
 space=server vaddr=0x138000 size=0x1000
 space=server vaddr=0x139000 size=0x1000
 space=server vaddr=0x13a000 size=0x1000
 space=server vaddr=0x13b000 size=0x1000
 space=server vaddr=0x13c000 size=0x1000
 space=server vaddr=0x13d000 size=0x1000
 space=server vaddr=0x13e000 size=0x1000
 space=server vaddr=0x13f000 size=0x1000
 space=server vaddr=0x140000 size=0x1000
 space=server vaddr=0x141000 size=0x1000
 space=server vaddr=0x142000 size=0x1000
 space=server vaddr=0x143000 size=0x1000
 space=server vaddr=0x144000 size=0x1000
 space=server vaddr=0x145000 size=0x1000
 space=server vaddr=0x146000 size=0x1000
 space=server vaddr=0x147000 size=0x1000
 space=server vaddr=0x148000 size=0x1000
 space=server vaddr=0x149000 size=0x1000
 space=server vaddr=0x14a000 size=0x1000
 space=server vaddr=0x14b000 size=0x1000
 space=server vaddr=0x14c000 size=0x1000
 space=server vaddr=0x14d000 size=0x1000
 space=server vaddr=0x14e000 size=0x1000
 space=server vaddr=0x14f000 size=0x1000
 space=server vaddr=0x150000 size=0x1000
 space=server vaddr=0x151000 size=0x1000
 space=server vaddr=0x152000 size=0x1000
 space=server vaddr=0x153000 size=0x1000
 space=server vaddr=0x154000 size=0x1000
 space=server vaddr=0x155000 size=0x1000
 space=server vaddr=0x156000 size=0x1000
 space=server vaddr=0x157000 size=0x1000
 space=server vaddr=0x158000 size=0x1000
 space=server vaddr=0x159000 size=0x1000
 space=server vaddr=0x15a000 size=0x1000
 space=server vaddr=0x15b000 size=0x1000
 space=server vaddr=0x15c000 size=0x1000
 space=server vaddr=0x15d000 size=0x1000
 space=server vaddr=0x15e000 size=0x1000
 space=server vaddr=0x15f000 size=0x1000
 space=server vaddr=0x160000 size=0x1000
 space=server vaddr=0x161000 size=0x1000
 space=server vaddr=0x162000 size=0x1000
 space=server vaddr=0x163000 size=0x1000
 space=server vaddr=0x164000 size=0x1000
 space=server vaddr=0x165000 size=0x1000
 space=server vaddr=0x166000 size=0x1000
 space=server vaddr=0x167000 size=0x1000
 space=server vaddr=0x168000 size=0x1000
 space=server vaddr=0x169000 size=0x1000
 space=server vaddr=0x16a000 size=0x1000
 space=server vaddr=0x16b000 size=0x1000
 space=server vaddr=0x16c000 size=0x1000
 space=server vaddr=0x16d000 size=0x1000
 space=server vaddr=0x16e000 size=0x1000
 space=server vaddr=0x16f000 size=0x1000
 space=server vaddr=0x170000 size=0x1000
 space=server vaddr=0x171000 size=0x1000
 space=server vaddr=0x172000 size=0x1000
 space=server vaddr=0x173000 size=0x1000
 space=server vaddr=0x174000 size=0x1000
 space=server vaddr=0x175000 size=0x1000
 space=server vaddr=0x176000 size=0x1000
 space=server vaddr=0x177000 size=0x1000
 space=server vaddr=0x178000 size=0x1000
 space=server vaddr=0x179000 size=0x1000
 space=server vaddr=0x17a000 size=0x1000
 space=server vaddr=0x17b000 size=0x1000
 space=server vaddr=0x17c000 size=0x1000
 space=server vaddr=0x17d000 size=0x1000
 space=server vaddr=0x17e000 size=0x1000
 space=server vaddr=0x17f000 size=0x1000
 space=server vaddr=0x180000 size=0x1000
 space=server vaddr=0x181000 size=0x1000
 space=server vaddr=0x182000 size=0x1000
 space=server vaddr=0x183000 size=0x1000
 space=server vaddr=0x184000 size=0x1000
 space=server vaddr=0x185000 size=0x1000
 space=server vaddr=0x186000 size=0x1000
 space=server vaddr=0x187000 size=0x1000
 space=server vaddr=0x188000 size=0x1000
 space=server vaddr=0x189000 size=0x1000
 space=server vaddr=0x18a000 size=0x1000
 space=server vaddr=0x18b000 size=0x1000
 space=server vaddr=0x18c000 size=0x1000
 space=server vaddr=0x18d000 size=0x1000
 space=server vaddr=0x18e000 size=0x1000
 space=server vaddr=0x18f000 size=0x1000
 space=server vaddr=0x190000 size=0x1000
 space=server vaddr=0x191000 size=0x1000
 space=server vaddr=0x192000 size=0x1000
 space=server vaddr=0x193000 size=0x1000
 space=server vaddr=0x194000 size=0x1000
 space=server vaddr=0x195000 size=0x1000
 space=server vaddr=0x196000 size=0x1000
 space=server vaddr=0x197000 size=0x1000
 space=server vaddr=0x198000 size=0x1000
 space=server vaddr=0x199000 size=0x1000
 space=server vaddr=0x19a000 size=0x1000
 space=server vaddr=0x19b000 size=0x1000
 space=server vaddr=0x19c000 size=0x1000
 space=server vaddr=0x19d000 size=0x1000
 space=server vaddr=0x19e000 size=0x1000
 space=server vaddr=0x19f000 size=0x1000
 space=server vaddr=0x1a0000 size=0x1000
 space=server vaddr=0x1a1000 size=0x1000
 space=server vaddr=0x1a2000 size=0x1000
 space=server vaddr=0x1a3000 size=0x1000
 space=server vaddr=0x1a4000 size=0x1000
 space=server vaddr=0x1a5000 size=0x1000
 space=server vaddr=0x1a6000 size=0x1000
 space=server vaddr=0x1a7000 size=0x1000
 space=server vaddr=0x1a8000 size=0x1000
 space=server vaddr=0x1a9000 size=0x1000
 space=server vaddr=0x1aa000 size=0x1000
 space=server vaddr=0x1ab000 size=0x1000
 space=server vaddr=0x1ac000 size=0x1000
 space=server vaddr=0x1ad000 size=0x1000
 space=server vaddr=0x1ae000 size=0x1000
 space=server vaddr=0x1af000 size=0x1000
 space=server vaddr=0x1b0000 size=0x1000
 space=server vaddr=0x1b1000 size=0x1000
 space=server vaddr=0x1b2000 size=0x1000
 space=server vaddr=0x1b3000 size=0x1000
 space=server vaddr=0x1b4000 size=0x1000
 space=server vaddr=0x1b5000 size=0x1000
 space=server vaddr=0x1b6000 size=0x1000
 space=server vaddr=0x1b7000 size=0x1000
 space=server vaddr=0x1b8000 size=0x1000
 space=server vaddr=0x1b9000 size=0x1000
 space=server vaddr=0x1ba000 size=0x1000
 space=server vaddr=0x1bb000 size=0x1000
 space=server vaddr=0x1bc000 size=0x1000
 space=server vaddr=0x1bd000 size=0x1000
 space=server vaddr=0x1be000 size=0x1000
 space=server vaddr=0x1bf000 size=0x1000
 space=server vaddr=0x1c0000 size=0x1000
 space=server vaddr=0x1c1000 size=0x1000
 space=server vaddr=0x1c2000 size=0x1000
 space=server vaddr=0x1c3000 size=0x1000
 space=server vaddr=0x1c4000 size=0x1000
 space=server vaddr=0x1c5000 size=0x1000
 space=server vaddr=0x1c6000 size=0x1000
 space=server vaddr=0x1c7000 size=0x1000
 space=server vaddr=0x1c8000 size=0x1000
 space=server vaddr=0x1c9000 size=0x1000
 space=server vaddr=0x1ca000 size=0x1000
 space=server vaddr=0x1cb000 size=0x1000
 space=server vaddr=0x1cc000 size=0x1000
 space=server vaddr=0x1cd000 size=0x1000
 space=server vaddr=0x1ce000 size=0x1000
 space=server vaddr=0x1cf000 size=0x1000
 space=server vaddr=0x1d0000 size=0x1000
 space=server vaddr=0x1d1000 size=0x1000
 space=server vaddr=0x1d2000 size=0x1000
 space=server vaddr=0x1d3000 size=0x1000
 space=server vaddr=0x1d4000 size=0x1000
 space=server vaddr=0x1d5000 size=0x1000
 space=server vaddr=0x1d6000 size=0x1000
 space=server vaddr=0x1d7000 size=0x1000
 space=server vaddr=0x1d8000 size=0x1000
 space=server vaddr=0x1d9000 size=0x1000
 space=server vaddr=0x1da000 size=0x1000
 space=server vaddr=0x1db000 size=0x1000
 space=server vaddr=0x1dc000 size=0x1000
 space=server vaddr=0x1dd000 size=0x1000
 space=server vaddr=0x1de000 size=0x1000
 space=server vaddr=0x1df000 size=0x1000
 space=server vaddr=0x1e0000 size=0x1000
 space=server vaddr=0x1e1000 size=0x1000
 space=server vaddr=0x1e2000 size=0x1000
 space=server vaddr=0x1e3000 size=0x1000
 space=server vaddr=0x1e4000 size=0x1000
 space=server vaddr=0x1e5000 size=0x1000
 space=server vaddr=0x1e6000 size=0x1000
 space=server vaddr=0x1e7000 size=0x1000
 space=server vaddr=0x1e8000 size=0x1000
 space=server vaddr=0x1e9000 size=0x1000
 space=server vaddr=0x1ea000 size=0x1000
 space=server vaddr=0x1eb000 size=0x1000
 space=server vaddr=0x1ec000 size=0x1000
 space=server vaddr=0x1ed000 size=0x1000
 space=server vaddr=0x1ee000 size=0x1000
 space=server vaddr=0x1ef000 size=0x1000
 space=server vaddr=0x1f0000 size=0x1000
 space=server vaddr=0x1f1000 size=0x1000
 space=server vaddr=0x1f2000 size=0x1000
 space=server vaddr=0x1f3000 size=0x1000
 space=server vaddr=0x1f4000 size=0x1000
 space=server vaddr=0x1f5000 size=0x1000
 space=server vaddr=0x1f6000 size=0x1000
 space=server vaddr=0x1f7000 size=0x1000
 space=server vaddr=0x1f8000 size=0x1000
 space=server vaddr=0x1f9000 size=0x1000
 space=server vaddr=0x1fa000 size=0x1000
 space=server vaddr=0x1fb000 size=0x1000
 space=server vaddr=0x1fc000 size=0x1000
 space=server vaddr=0x1fd000 size=0x1000
 space=server vaddr=0x1fe000 size=0x1000
 space=server vaddr=0x1ff000 size=0x1000

MAP sigma0[superpage/superpage] -> server[2*superpage/superpage:0]
=> additional 1 superpage mapped to server
MapDB node at 0x200000
 space=server vaddr=0x400000 size=0x200000

MAP server[2*superpage+page/page] -> client[WHOLE:8*page]
=> 1 client mapping added
MapDB node at 0x200000
 space=server vaddr=0x400000 size=0x200000
 space=client vaddr=0x8000 size=0x1000

=== DONE TEST ===
