В руководстве к материнской плате в разделе «Конфигурация BIOS» я вижу следующее:
Декодирование выше 4G (доступно, если система поддерживает 64-битное декодирование PCI) Выберите «Включено», чтобы декодировать устройство PCI, которое поддерживает 64-разрядную версию в пространстве над адресом 4G. Параметры включены и Отключено.
Помимо проверки, доступна ли эта опция, как я могу проверить, поддерживает ли моя система 64-битное декодирование PCI?
Производился ли он в последние 10-15 лет? Если это так, вероятно, он поддерживает 64-битное декодирование PCI. Все 64-битные шины PCI, PCI-X и PCI Express поддерживают 64-битное декодирование.
Вы можете проверить, используется ли 64-битное декодирование, с помощью команды Linux, например:
sudo lspci -v | grep "Memory.*64-bit"
Пока эта опция BIOS отключена, вы увидите, что вся память была декодирована ниже границы 4GiB. Если вы не видите вывода, значит, декодирование 64-битной памяти не производилось.
Кстати, вы должны оставить этот параметр BIOS отключенным, если у вас нет конфигурации устройства PCI Express, которая требует этого, например, несколько установленных GPGPU. Некоторые старые ядра Linux также могут не загружаться с включенной функцией, поэтому вам может потребоваться обновить ОС перед включением этой опции.