PCI utilise également une partie de l'espace d'adressage. Les cartes PCI et les périphériques PCI sont intégrés à la carte mère (comme le chipset).
Cela signifiait généralement que sur 4 Go, seuls 3¼ à 3½ Go étaient disponibles, même si vous n'utilisiez pas de GPU moderne avec beaucoup de RAM intégrée.
Vous devez activer le remappage de la mémoire ON dans le BIOS. Sinon, il ne remappera pas la mémoire au-delà de la limite de 4 Go et une partie de la mémoire sera recouverte par des mappages matériels.
Votre RAM manquante est utilisée par le firmware :
# ./smem -R 4G -w
Area Used Cache Noncache
firmware/hardware 843592 0 843592
kernel image 0 0 0
kernel dynamic memory 181116 134616 46500
userspace memory 287784 19736 268048
free memory 2881812 2881812 0
En résumé :
echo $((181116 + 287784 + 2881812 + 843592))
4194304
Donc, vous voyez, cela résume jusqu'à 4 Go. Et voici les ~ 800M manquants :
firmware/hardware 843592 0 843592