(memmap
 (0000000000000000  000000000009f800 "AddressRangeMemory"   WB)
 (000000000009f800  00000000000a0000 "AddressRangeReserved" UC)
 (00000000000a0000  00000000000bffff "AddressRangeIO"       UC)
 (00000000000f0000  0000000000100000 "AddressRangeReserved" UC)
 (0000000000100000  0000000008000000 "AddressRangeMemory"   WB)
 (0000000007fff000  0000000008000000 "AddressRangeShared"   WB)
 (0000000008000000  0000000008003000 "AddressRangeNVS"      UC)
 (0000000008003000  000000000800d000 "AddressRangeACPI"     WB)
 (00000000fec00000  0000000100000000 "AddressRangeIO"       UC))