Assertion: microprocessor's address | /r/HasProperty | extended to 64 bits
Facets:
Source sentences:
text: The addressing modes were not dramatically changed from 32-bit mode, except that addressing was extended to 64 bits, virtual addresses are now sign extended to 64 bits (in order to disallow mode bits in virtual addresses), and other selector details were dramatically reduced.