This commit changes the getter interfaces of
Mini-OS's memory management in a way that architecture
dependent assumptions are placed in arch/.
For this purpose, the memory usage query API is changed
to the following:
arch_mem_size() new:
Amount of memory (bytes) that is assigned to
the guest.
arch_reserved_mem() new:
Amount of memory (bytes) that is not used
by Mini-OS's page allocator
(replaces mm_reserved_pages()).
mm_total_pages() changed:
Number of pages handled by MiniOS's
page allocator.
mm_free_pages():
Number of pages that are free
in MiniOS's page allocator.
mm_heap_pages():
Number of pages that are allocated
to libc's heap (if enabled, see: sbrk()).
This commit changes the getter interfaces of Mini-OS's memory management in a way that architecture dependent assumptions are placed in arch/. For this purpose, the memory usage query API is changed to the following:
arch_mem_size() new: Amount of memory (bytes) that is assigned to the guest. arch_reserved_mem() new: Amount of memory (bytes) that is not used by Mini-OS's page allocator (replaces mm_reserved_pages()). mm_total_pages() changed: Number of pages handled by MiniOS's page allocator. mm_free_pages(): Number of pages that are free in MiniOS's page allocator. mm_heap_pages(): Number of pages that are allocated to libc's heap (if enabled, see: sbrk()).