Kernel do usuário dividido em Linux de 64 bits

Qual é o usuário / kernel padrão dividido no Linux de 64 bits?

Eu li Documentation/x86_64/mm.txt(que alguém apontou), mas não consegui entender. Alguém pode fornecer uma resposta direta (algo como 3 GB / 1 GB para implementação em 32 bits).

Como dizem os documentos, o espaço do usuário obtém 2 ⁴⁷ bytes = 128TiB e o kernel obtém 512MiB. O restante do espaço de endereço vai para várias partes do sistema, além de alguns furos inutilizáveis.