Ядро користувача розбилося на 64-бітний Linux

Який користувач / ядро ​​за замовчуванням розділений у 64-бітовому Linux?

Я читав Documentation/x86_64/mm.txt(на що хтось вказував), але не міг розібратися. Чи може хтось надати пряму відповідь (щось на зразок 3 Гб / 1 Гб для 32-бітової реалізації).

Як кажуть документи, користувальницький простір отримує 2 ⁴⁷ байт = 128TiB, а ядро ​​отримує 512MiB. Решта адресного простору йде в різні частини системи разом з кількома непридатними отворами.