ReservedAddrspace(name='reserved0', size=Bytes('4 KB'), is_sub=False)
Addrspace(name='one', baseaddr=Hex('0x1000'), size=Bytes('4 KB'), is_volatile=True)
ReservedAddrspace(name='reserved1', baseaddr=Hex('0x2000'), size=Bytes('6 KB'), is_sub=False)
Addrspace(name='four', baseaddr=Hex('0x3800'), size=Bytes('2 KB'))
ReservedAddrspace(name='reserved2', baseaddr=Hex('0x4000'), size=Bytes('8 KB'), is_sub=False)
AddrspaceAlias(name='one_alias', baseaddr=Hex('0x6000'), size=Bytes('4 KB'), is_volatile=True, addrspace=Addrspace(name='one', baseaddr=Hex('0x1000'), size=Bytes('4 KB'), is_volatile=True))
ReservedAddrspace(name='reserved3', baseaddr=Hex('0x7000'), size=Bytes('1.98 GB'), is_sub=False)
Addrspace(name='three', baseaddr=Hex('0x7F000000'), size=Bytes('4 KB'), is_sub=False)
ReservedAddrspace(name='reserved4', baseaddr=Hex('0x7F001000'), size=Bytes('16 MB'), is_sub=False)
