PCI utilizza anche parte dello spazio degli indirizzi. Sia le schede PCI che i dispositivi PCI sono integrati nella scheda madre (come il chipset).
Di solito questo significava che su 4 GB erano disponibili solo da 3¼ a 3½ GB, anche se non si utilizzava una GPU moderna con molta RAM integrata.
Devi attivare la rimappatura della memoria ON nel BIOS. In caso contrario, non rimappa la memoria al di sopra del limite di 4 GB e parte della memoria verrà coperta dalle mappature hardware.
La RAM mancante viene utilizzata dal 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
Riassumendo:
echo $((181116 + 287784 + 2881812 + 843592))
4194304
Quindi vedi, riassume fino a 4 GB. Ed ecco i ~ 800 milioni che riporti mancanti:
firmware/hardware 843592 0 843592