From fd33f1cbad0cb46a5eef4de1086b1686fec38cb9 Mon Sep 17 00:00:00 2001 From: Alexander Kudryavtsev Date: Tue, 27 Sep 2011 18:51:54 +0400 Subject: [PATCH 22/32] Enable VPID for EPT; XXX: check VPID is supported --- palacios/src/palacios/vmx.c | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c index e32221d..b592f15 100644 --- a/palacios/src/palacios/vmx.c +++ b/palacios/src/palacios/vmx.c @@ -289,6 +289,9 @@ static int init_vmcs_bios(struct guest_info * core, struct vmx_data * vmx_state) vmx_state->pri_proc_ctrls.sec_ctrls = 1; // Enable secondary proc controls vmx_state->sec_proc_ctrls.enable_ept = 1; // enable EPT paging + vmx_state->sec_proc_ctrls.enable_vpid = 1; + vmcs_write(VMCS_VPID, core->vcpu_id + 1); + if (v3_init_ept(core, &hw_info) == -1) { -- 1.7.5.4