Xen dom0 сообщает о неправильном количестве ОЗУ с установленным dom0_mem

Я довольно много искал об этом, но не нашел ничего, что отвечало бы на мой вопрос.

У меня есть система с 6 ГБ оперативной памяти, которая действует как сервер Xen. Для справки, он запускает Ubuntu 12.04. Я установил параметр ядра dom0_mem:512M, максимум: 512M в /etc/default/grub следующим образом:

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

Я пробовал варианты этого, с тем же результатом.

У меня вопрос такой:

С вышеупомянутым набором dom0 сообщает во всех приложениях объем оперативной памяти 422M.

cat / proc / meminfo выдает следующее:

$ 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 и byobu RAM показывают одинаковое количество.

Сначала я думал, что это из-за того, что встроенная графика занимает немного памяти, но теперь переключился на выделенный графический процессор, и это сохраняется.

Это нормальное поведение или что-то пошло не так? Это просто около 100 МБ оперативной памяти, которая "ушла", и я понятия не имею, куда она ушла. Я понимаю, что это нормально, что не вся оперативная память доступна для выделения, но действительно ли система занимает объем, относительно большой относительно объема доступной оперативной памяти?

Edit Я только что заметил, что xl list сообщает о том, что dom0 имеет 511 МБ ОЗУ, поэтому кажется, что память распределяется правильно, и что разница заключается только в зарезервированной памяти системы.