[wittystick]

Physical addresses may be limited to 40 bits, but 48-bit virtual addresses have been the norm since 4-level paging.