(info->hvm) ? info->max_memkb :
(info->max_memkb + info->u.pv.slack_memkb));
xc_domain_set_tsc_info(ctx->xch, domid, info->tsc_mode, 0, 0, 0);
+ xc_domain_disable_migrate(ctx->xch, info->disable_migrate);
if (info->hvm) {
unsigned long shadow;
b_info->max_vcpus = 1;
b_info->max_memkb = 32 * 1024;
b_info->target_memkb = b_info->max_memkb;
+ b_info->disable_migrate = 0;
if (c_info->hvm) {
b_info->shadow_memkb = 0; /* Set later */
b_info->video_memkb = 8 * 1024;
printf("\t(tsc_mode %d)\n", b_info->tsc_mode);
printf("\t(max_memkb %d)\n", b_info->max_memkb);
printf("\t(target_memkb %d)\n", b_info->target_memkb);
+ printf("\t(disable_migrate %d)\n", b_info->disable_migrate);
printf("\t(image\n");
if (c_info->hvm) {
: libxl_get_required_shadow_memory(b_info->max_memkb,
b_info->max_vcpus);
+ if (!xlu_cfg_get_long (config, "disable_migrate", &l))
+ b_info->disable_migrate = l;
+
if (!xlu_cfg_get_long(config, "tsc_mode", &l))
b_info->tsc_mode = l;