else
flexarray_set(dm_args, num++, "xenfv");
+ /* RAM Size */
+ flexarray_set(dm_args, num++, "-m");
+ flexarray_set(dm_args, num++, libxl__sprintf(gc, "%d", info->target_ram));
+
if (info->type == XENFV) {
disks = libxl_device_disk_list(libxl__gc_owner(gc), info->domid, &nb);
for (i; i < nb; i++) {
("device_model", string),
("saved_state", string),
("type", libxl_qemu_machine_type),
+ ("target_ram", uint32),
("videoram", integer, False, "size of the videoram in MB"),
("stdvga", bool, False, "stdvga enabled or disabled"),
("vnc", bool, False, "vnc enabled or disabled"),
int libxl_cpuarray_alloc(libxl_ctx *ctx, libxl_cpuarray *cpuarray);
+static inline uint32_t libxl__sizekb_to_mb(uint32_t s) {
+ return (s + 1023) / 1024;
+}
+
#endif
dm_info->dom_name = strdup(c_info->name);
dm_info->device_model = strdup("qemu-dm");
- dm_info->videoram = b_info->video_memkb / 1024;
+ dm_info->target_ram = libxl__sizekb_to_mb(b_info->target_memkb);
+ dm_info->videoram = libxl__sizekb_to_mb(b_info->video_memkb);
dm_info->apic = b_info->u.hvm.apic;
dm_info->vcpus = b_info->max_vcpus;
dm_info->vcpu_avail = b_info->cur_vcpus;