X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=77c654ed17d4e1b1c2e79404de5b018485a4ead9;hb=f2c389745faae8bbd6e16b60baa59c01e735949f;hp=c0101670fac22476b5afd50f7e032b985e6183ed;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c index c010167..77c654e 100644 --- a/palacios/src/palacios/vmm.c +++ b/palacios/src/palacios/vmm.c @@ -23,14 +23,15 @@ #include #include #include -#include +#include + v3_cpu_arch_t v3_cpu_type; -struct vmm_os_hooks * os_hooks = NULL; +struct v3_os_hooks * os_hooks = NULL; -struct guest_info * allocate_guest() { +static struct guest_info * allocate_guest() { void * info = V3_Malloc(sizeof(struct guest_info)); memset(info, 0, sizeof(struct guest_info)); return info; @@ -38,19 +39,21 @@ struct guest_info * allocate_guest() { -void Init_V3(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops) { +void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) { os_hooks = hooks; v3_cpu_type = V3_INVALID_CPU; - init_decoder(); +#ifdef INSTRUMENT_VMM + v3_init_instrumentation(); +#endif - if (is_svm_capable()) { + if (v3_is_svm_capable()) { PrintDebug("Machine is SVM Capable\n"); vmm_ops->allocate_guest = &allocate_guest; - vmm_ops->config_guest = &config_guest; - Init_SVM(vmm_ops); + vmm_ops->config_guest = &v3_config_guest; + v3_init_SVM(vmm_ops); /* } else if (is_vmx_capable()) {