All about the OSDev Wiki. Discussions about the organization and general structure of articles and how to use the wiki. Request changes here if you don't know how to use the wiki.
Correct, the upper 16 bits must be a sign extension of the lower 48. And of course, with the advent of LA57, there needs to be a caveat that it might just be the top 7 bits that need to be an extension of the lower 57.
wiki means what Intel and Amd mean, and they mean the upper 16 bits must be the same ... as the bit 47. combining that bit with them and talking about 17 bits would be confusing, since bit 47 is the used part of the address, it makes up an index into the top table, whereas sign extended bits aren't part of that process, they are just "stuffing" bits.
ANT - NT-like OS for x64 and arm64. efify - UEFI for a couple of boards (mips and arm). suspended due to lost of all the target park boards (russians destroyed our town).