X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=af45a0a4be050f1d1f0d0eea83d48df6d96428e4;hp=b6e5587ab33db71d54f54c5f3760085459dfa8d1;hb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15;hpb=4f0bb09709fcff0e08aef60c1f0253bbef91f608 diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c index b6e5587..af45a0a 100644 --- a/palacios/src/palacios/vmm_config.c +++ b/palacios/src/palacios/vmm_config.c @@ -22,7 +22,7 @@ #include #include #include -#include +#include #include #include #include @@ -75,8 +75,19 @@ int v3_pre_config_guest(struct guest_info * info, struct v3_vm_config * config_p // Amount of ram the Guest will have, rounded to a 4K page boundary info->mem_size = config_ptr->mem_size & ~(addr_t)0xfff; + /* + * Initialize the subsystem data strutures + */ +#ifdef CONFIG_TELEMETRY + // This should go first, because other subsystems will depend on the guest_info flag + if (config_ptr->enable_telemetry) { + info->enable_telemetry = 1; + v3_init_telemetry(info); + } else { + info->enable_telemetry = 0; + } +#endif - // Initialize the subsystem data strutures v3_init_time(info); v3_init_io_map(info); v3_init_msr_map(info); @@ -109,14 +120,7 @@ int v3_pre_config_guest(struct guest_info * info, struct v3_vm_config * config_p info->shdw_pg_mode = SHADOW_PAGING; } -#ifdef CONFIG_PROFILE_VMM - if (config_ptr->enable_profiling) { - info->enable_profiler = 1; - v3_init_profiler(info); - } else { - info->enable_profiler = 0; - } -#endif + if (config_ptr->schedule_freq == 0) { // set the schedule frequency to 100 HZ