Created attachment 210583 [details] potential fix for show devmap problem When I break into the debugger on an armv7 machine, show devmap gives me this: db> show devmap Static device mappings: 0xffc00000e02fffff - 0x00000001 mapped at VA 0xc006dffcd619c9d0 0xfec00000f8ffffff - 0x00000001 mapped at VA 0xc006dffcd619c9d0 It should look like this: db> show devmap Static device mappings: 0xe0000000 - 0xe02fffff mapped at VA 0xffc00000 0xf8000000 - 0xf8ffffff mapped at VA 0xfec00000 Looks like its due to r355925. I have attached a potential fix but I can't test it on an aarch64 system because mine doesn't have any static device mappings.