xen/color_alloc: lower default for buddy reservation

When cache coloring is enabled, a certain amount of memory is reserved
for buddy allocation. The current default value of 512 MB was set to
enable full interchangeability between the two allocator to allow
gradual introduction of coloring support patchset. As of this commit,
the colored allocator is used for dom0, domUs and Xen, while the buddy
manages only Xen heap pages. The memory reserved to the buddy could be
thus lowered to a reasonably small value.

Signed-off-by: Luca Miccio <206497@studenti.unimore.it>
Signed-off-by: Marco Solieri <marco.solieri@unimore.it>

diff --git a/xen/arch/arm/coloring.c b/xen/arch/arm/coloring.c
index ac28270a8364748c08975345f65c61f2335dd2ea..9cebc7b8f07486a2f6233cc91b0c29212f91f49a 100644 (file)
--- a/xen/arch/arm/coloring.c
+++ b/xen/arch/arm/coloring.c
@@ -35,7 +35,7 @@
 #define MAX_XEN_COLOR   128
 
 /* Minimum size required for buddy allocator to work with colored one */
-unsigned long buddy_required_size __read_mostly = MB(512);
+unsigned long buddy_required_size __read_mostly = MB(64);
 
 /* Number of color(s) assigned to Xen */
 static uint64_t xen_col_num;