=== NEW TEST ===
Page = 4 KiB, Superpage = 1 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

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/128K]
=> 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=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

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

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

=== DONE TEST ===
