0x00000000 - 0x01ffe000: linear from 0x1e000001 to 0x1fffe001
0x01fff000 - 0x0ffff000: constant 0x1bc0e001