X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=06e4df2644c6fe636d9d2d704e6d976ae55969dc;hp=c3b3254a51e02802f678051caf29e6a2c744fd97;hb=dff987790423249e95487f8754ebe0fbee8dbbdd;hpb=33a5c8f83ba79ece7a76cf7c4d53bdeae1e30f07

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index c3b3254..06e4df2 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -223,6 +223,8 @@ int v3_deinit_vmx_vmcs(struct guest_info * core);
 
 int v3_start_vmx_guest(struct guest_info* info);
 int v3_reset_vmx_vm_core(struct guest_info * core, addr_t rip);
+void v3_flush_vmx_vm_core(struct guest_info * core);
+
 int v3_vmx_enter(struct guest_info * info);
 
 int v3_vmx_load_core(struct guest_info * core, void * ctx);