Xen dom0 rapporte une quantité incorrecte de RAM avec dom0_mem défini

J'ai fait pas mal de recherches à ce sujet, mais je n'ai rien trouvé qui réponde à ma question.

J'ai un système avec 6 Go de RAM qui fait office de serveur Xen. Pour référence, il fonctionne sous Ubuntu 12.04. J'ai défini le paramètre du noyau dom0_mem:512M,max:512M dans /etc/default/Grub comme suit :

GRUB_CMDLINE_XEN_DEFAULT="dom0_mem=min:512M,max:512M"

J'ai essayé des variantes de ça, avec le même résultat.

Ma question est la suivante :

Avec les paramètres ci-dessus, le dom0 rapporte dans toutes les applications une quantité de RAM de 422M.

cat /proc/meminfo donne ce qui suit :

$ cat /proc/meminfo
MemTotal:         432472 kB
MemFree:           54144 kB
Buffers:           17640 kB
Cached:           220104 kB
SwapCached:        30172 kB
Active:           136500 kB
Inactive:         167780 kB
Active(anon):       6156 kB
Inactive(anon):    60516 kB
Active(file):     130344 kB
Inactive(file):   107264 kB
Unevictable:          52 kB
Mlocked:              52 kB
SwapTotal:       1794044 kB
SwapFree:        1682012 kB
Dirty:                 0 kB
Writeback:             0 kB
AnonPages:         39572 kB
Mapped:             8048 kB
Shmem:               136 kB
Slab:              44324 kB
SReclaimable:      22012 kB
SUnreclaim:        22312 kB
KernelStack:        1280 kB
PageTables:         3840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:     2010280 kB
Committed_AS:     329192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      313988 kB
VmallocChunk:   34359417340 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      524696 kB
DirectMap2M:           0 kB

top, htop, free -m, et le moniteur de RAM de byobu indiquent tous la même quantité.

Au début, je pensais que c'était dû au fait que la carte graphique embarquée empruntait de la mémoire, mais j'ai maintenant opté pour un GPU dédié et le problème persiste.

Est-ce un comportement normal ou quelque chose ne va pas ? Il ne s'agit que d'environ 100 Mo de RAM qui ont "disparu", et je n'ai aucune idée de l'endroit où ils sont allés. Je comprends qu'il est normal de ne pas tous La RAM est disponible pour l'allocation, mais le système prend-il vraiment une quantité relativement élevée par rapport à la quantité de RAM disponible ?

Modifier Je viens de remarquer que liste xl indique que dom0 dispose de 511M de RAM, il semble donc que la mémoire soit correctement allouée et que la différence ne soit que la mémoire réservée par le système.