Why doesn’t Windows use 64-bit virtual address space below 0x00000000`7ffe0000?

Why doesn’t Windows use 64-bit virtual address space below 0x00000000`7ffe0000? https://devblogs.microsoft.com/oldnewthing/20221216-00/?p=107598