=== NEW TEST ===
Page = 16 KiB, Superpage = 2 MiB
have_superpages = no

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

MAP sigma0[0/superpage] -> server[ALL:0]
=> many pages mapped to server overmapping previous mapping
MapDB node at 0x10000
 space=server vaddr=0x0 size=0x4000
 space=server vaddr=0x4000 size=0x4000
 space=server vaddr=0x8000 size=0x4000
 space=server vaddr=0xc000 size=0x4000
 space=server vaddr=0x10000 size=0x4000
 space=server vaddr=0x14000 size=0x4000
 space=server vaddr=0x18000 size=0x4000
 space=server vaddr=0x1c000 size=0x4000
 space=server vaddr=0x20000 size=0x4000
 space=server vaddr=0x24000 size=0x4000
 space=server vaddr=0x28000 size=0x4000
 space=server vaddr=0x2c000 size=0x4000
 space=server vaddr=0x30000 size=0x4000
 space=server vaddr=0x34000 size=0x4000
 space=server vaddr=0x38000 size=0x4000
 space=server vaddr=0x3c000 size=0x4000
 space=server vaddr=0x40000 size=0x4000
 space=server vaddr=0x44000 size=0x4000
 space=server vaddr=0x48000 size=0x4000
 space=server vaddr=0x4c000 size=0x4000
 space=server vaddr=0x50000 size=0x4000
 space=server vaddr=0x54000 size=0x4000
 space=server vaddr=0x58000 size=0x4000
 space=server vaddr=0x5c000 size=0x4000
 space=server vaddr=0x60000 size=0x4000
 space=server vaddr=0x64000 size=0x4000
 space=server vaddr=0x68000 size=0x4000
 space=server vaddr=0x6c000 size=0x4000
 space=server vaddr=0x70000 size=0x4000
 space=server vaddr=0x74000 size=0x4000
 space=server vaddr=0x78000 size=0x4000
 space=server vaddr=0x7c000 size=0x4000
 space=server vaddr=0x80000 size=0x4000
 space=server vaddr=0x84000 size=0x4000
 space=server vaddr=0x88000 size=0x4000
 space=server vaddr=0x8c000 size=0x4000
 space=server vaddr=0x90000 size=0x4000
 space=server vaddr=0x94000 size=0x4000
 space=server vaddr=0x98000 size=0x4000
 space=server vaddr=0x9c000 size=0x4000
 space=server vaddr=0xa0000 size=0x4000
 space=server vaddr=0xa4000 size=0x4000
 space=server vaddr=0xa8000 size=0x4000
 space=server vaddr=0xac000 size=0x4000
 space=server vaddr=0xb0000 size=0x4000
 space=server vaddr=0xb4000 size=0x4000
 space=server vaddr=0xb8000 size=0x4000
 space=server vaddr=0xbc000 size=0x4000
 space=server vaddr=0xc0000 size=0x4000
 space=server vaddr=0xc4000 size=0x4000
 space=server vaddr=0xc8000 size=0x4000
 space=server vaddr=0xcc000 size=0x4000
 space=server vaddr=0xd0000 size=0x4000
 space=server vaddr=0xd4000 size=0x4000
 space=server vaddr=0xd8000 size=0x4000
 space=server vaddr=0xdc000 size=0x4000
 space=server vaddr=0xe0000 size=0x4000
 space=server vaddr=0xe4000 size=0x4000
 space=server vaddr=0xe8000 size=0x4000
 space=server vaddr=0xec000 size=0x4000
 space=server vaddr=0xf0000 size=0x4000
 space=server vaddr=0xf4000 size=0x4000
 space=server vaddr=0xf8000 size=0x4000
 space=server vaddr=0xfc000 size=0x4000

Verify that the MapDB entry for 64K has changed
MapDB node at 0x10000
 space=server vaddr=0x10000 size=0x4000

UNMAP sigma0[512K/256K]
=> remove couple of page mappings from server
MapDB node at 0x0
 space=server vaddr=0x0 size=0x4000
 space=server vaddr=0x4000 size=0x4000
 space=server vaddr=0x8000 size=0x4000
 space=server vaddr=0xc000 size=0x4000
 space=server vaddr=0x10000 size=0x4000
 space=server vaddr=0x14000 size=0x4000
 space=server vaddr=0x18000 size=0x4000
 space=server vaddr=0x1c000 size=0x4000
 space=server vaddr=0x20000 size=0x4000
 space=server vaddr=0x24000 size=0x4000
 space=server vaddr=0x28000 size=0x4000
 space=server vaddr=0x2c000 size=0x4000
 space=server vaddr=0x30000 size=0x4000
 space=server vaddr=0x34000 size=0x4000
 space=server vaddr=0x38000 size=0x4000
 space=server vaddr=0x3c000 size=0x4000
 space=server vaddr=0x40000 size=0x4000
 space=server vaddr=0x44000 size=0x4000
 space=server vaddr=0x48000 size=0x4000
 space=server vaddr=0x4c000 size=0x4000
 space=server vaddr=0x50000 size=0x4000
 space=server vaddr=0x54000 size=0x4000
 space=server vaddr=0x58000 size=0x4000
 space=server vaddr=0x5c000 size=0x4000
 space=server vaddr=0x60000 size=0x4000
 space=server vaddr=0x64000 size=0x4000
 space=server vaddr=0x68000 size=0x4000
 space=server vaddr=0x6c000 size=0x4000
 space=server vaddr=0x70000 size=0x4000
 space=server vaddr=0x74000 size=0x4000
 space=server vaddr=0x78000 size=0x4000
 space=server vaddr=0x7c000 size=0x4000
 space=server vaddr=0xc0000 size=0x4000
 space=server vaddr=0xc4000 size=0x4000
 space=server vaddr=0xc8000 size=0x4000
 space=server vaddr=0xcc000 size=0x4000
 space=server vaddr=0xd0000 size=0x4000
 space=server vaddr=0xd4000 size=0x4000
 space=server vaddr=0xd8000 size=0x4000
 space=server vaddr=0xdc000 size=0x4000
 space=server vaddr=0xe0000 size=0x4000
 space=server vaddr=0xe4000 size=0x4000
 space=server vaddr=0xe8000 size=0x4000
 space=server vaddr=0xec000 size=0x4000
 space=server vaddr=0xf0000 size=0x4000
 space=server vaddr=0xf4000 size=0x4000
 space=server vaddr=0xf8000 size=0x4000
 space=server vaddr=0xfc000 size=0x4000

MAP sigma0[superpage/superpage] -> server[2*superpage/superpage:0]
=> additional 1 superpage mapped to server
MapDB node at 0x200000
 space=server vaddr=0x400000 size=0x4000
 space=server vaddr=0x404000 size=0x4000
 space=server vaddr=0x408000 size=0x4000
 space=server vaddr=0x40c000 size=0x4000
 space=server vaddr=0x410000 size=0x4000
 space=server vaddr=0x414000 size=0x4000
 space=server vaddr=0x418000 size=0x4000
 space=server vaddr=0x41c000 size=0x4000
 space=server vaddr=0x420000 size=0x4000
 space=server vaddr=0x424000 size=0x4000
 space=server vaddr=0x428000 size=0x4000
 space=server vaddr=0x42c000 size=0x4000
 space=server vaddr=0x430000 size=0x4000
 space=server vaddr=0x434000 size=0x4000
 space=server vaddr=0x438000 size=0x4000
 space=server vaddr=0x43c000 size=0x4000
 space=server vaddr=0x440000 size=0x4000
 space=server vaddr=0x444000 size=0x4000
 space=server vaddr=0x448000 size=0x4000
 space=server vaddr=0x44c000 size=0x4000
 space=server vaddr=0x450000 size=0x4000
 space=server vaddr=0x454000 size=0x4000
 space=server vaddr=0x458000 size=0x4000
 space=server vaddr=0x45c000 size=0x4000
 space=server vaddr=0x460000 size=0x4000
 space=server vaddr=0x464000 size=0x4000
 space=server vaddr=0x468000 size=0x4000
 space=server vaddr=0x46c000 size=0x4000
 space=server vaddr=0x470000 size=0x4000
 space=server vaddr=0x474000 size=0x4000
 space=server vaddr=0x478000 size=0x4000
 space=server vaddr=0x47c000 size=0x4000
 space=server vaddr=0x480000 size=0x4000
 space=server vaddr=0x484000 size=0x4000
 space=server vaddr=0x488000 size=0x4000
 space=server vaddr=0x48c000 size=0x4000
 space=server vaddr=0x490000 size=0x4000
 space=server vaddr=0x494000 size=0x4000
 space=server vaddr=0x498000 size=0x4000
 space=server vaddr=0x49c000 size=0x4000
 space=server vaddr=0x4a0000 size=0x4000
 space=server vaddr=0x4a4000 size=0x4000
 space=server vaddr=0x4a8000 size=0x4000
 space=server vaddr=0x4ac000 size=0x4000
 space=server vaddr=0x4b0000 size=0x4000
 space=server vaddr=0x4b4000 size=0x4000
 space=server vaddr=0x4b8000 size=0x4000
 space=server vaddr=0x4bc000 size=0x4000
 space=server vaddr=0x4c0000 size=0x4000
 space=server vaddr=0x4c4000 size=0x4000
 space=server vaddr=0x4c8000 size=0x4000
 space=server vaddr=0x4cc000 size=0x4000
 space=server vaddr=0x4d0000 size=0x4000
 space=server vaddr=0x4d4000 size=0x4000
 space=server vaddr=0x4d8000 size=0x4000
 space=server vaddr=0x4dc000 size=0x4000
 space=server vaddr=0x4e0000 size=0x4000
 space=server vaddr=0x4e4000 size=0x4000
 space=server vaddr=0x4e8000 size=0x4000
 space=server vaddr=0x4ec000 size=0x4000
 space=server vaddr=0x4f0000 size=0x4000
 space=server vaddr=0x4f4000 size=0x4000
 space=server vaddr=0x4f8000 size=0x4000
 space=server vaddr=0x4fc000 size=0x4000

MAP server[2*superpage+page/page] -> client[WHOLE:8*page]
=> 1 client mapping added
MapDB node at 0x200000
 space=server vaddr=0x400000 size=0x4000
 space=server vaddr=0x404000 size=0x4000
  space=client vaddr=0x20000 size=0x4000
 space=server vaddr=0x408000 size=0x4000
 space=server vaddr=0x40c000 size=0x4000
 space=server vaddr=0x410000 size=0x4000
 space=server vaddr=0x414000 size=0x4000
 space=server vaddr=0x418000 size=0x4000
 space=server vaddr=0x41c000 size=0x4000
 space=server vaddr=0x420000 size=0x4000
 space=server vaddr=0x424000 size=0x4000
 space=server vaddr=0x428000 size=0x4000
 space=server vaddr=0x42c000 size=0x4000
 space=server vaddr=0x430000 size=0x4000
 space=server vaddr=0x434000 size=0x4000
 space=server vaddr=0x438000 size=0x4000
 space=server vaddr=0x43c000 size=0x4000
 space=server vaddr=0x440000 size=0x4000
 space=server vaddr=0x444000 size=0x4000
 space=server vaddr=0x448000 size=0x4000
 space=server vaddr=0x44c000 size=0x4000
 space=server vaddr=0x450000 size=0x4000
 space=server vaddr=0x454000 size=0x4000
 space=server vaddr=0x458000 size=0x4000
 space=server vaddr=0x45c000 size=0x4000
 space=server vaddr=0x460000 size=0x4000
 space=server vaddr=0x464000 size=0x4000
 space=server vaddr=0x468000 size=0x4000
 space=server vaddr=0x46c000 size=0x4000
 space=server vaddr=0x470000 size=0x4000
 space=server vaddr=0x474000 size=0x4000
 space=server vaddr=0x478000 size=0x4000
 space=server vaddr=0x47c000 size=0x4000
 space=server vaddr=0x480000 size=0x4000
 space=server vaddr=0x484000 size=0x4000
 space=server vaddr=0x488000 size=0x4000
 space=server vaddr=0x48c000 size=0x4000
 space=server vaddr=0x490000 size=0x4000
 space=server vaddr=0x494000 size=0x4000
 space=server vaddr=0x498000 size=0x4000
 space=server vaddr=0x49c000 size=0x4000
 space=server vaddr=0x4a0000 size=0x4000
 space=server vaddr=0x4a4000 size=0x4000
 space=server vaddr=0x4a8000 size=0x4000
 space=server vaddr=0x4ac000 size=0x4000
 space=server vaddr=0x4b0000 size=0x4000
 space=server vaddr=0x4b4000 size=0x4000
 space=server vaddr=0x4b8000 size=0x4000
 space=server vaddr=0x4bc000 size=0x4000
 space=server vaddr=0x4c0000 size=0x4000
 space=server vaddr=0x4c4000 size=0x4000
 space=server vaddr=0x4c8000 size=0x4000
 space=server vaddr=0x4cc000 size=0x4000
 space=server vaddr=0x4d0000 size=0x4000
 space=server vaddr=0x4d4000 size=0x4000
 space=server vaddr=0x4d8000 size=0x4000
 space=server vaddr=0x4dc000 size=0x4000
 space=server vaddr=0x4e0000 size=0x4000
 space=server vaddr=0x4e4000 size=0x4000
 space=server vaddr=0x4e8000 size=0x4000
 space=server vaddr=0x4ec000 size=0x4000
 space=server vaddr=0x4f0000 size=0x4000
 space=server vaddr=0x4f4000 size=0x4000
 space=server vaddr=0x4f8000 size=0x4000
 space=server vaddr=0x4fc000 size=0x4000

=== DONE TEST ===
