X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_cpuid.h;h=30467fd632f579b1aebcf9cf2920df6cf58b69d9;hb=b3e5aa263c35961c74e0b7ed96b8510e8c6d7d0d;hp=82a4fd6d21e2bb42d4c340ccc5ecca8184101353;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_cpuid.h b/palacios/include/palacios/vmm_cpuid.h
index 82a4fd6..30467fd 100644
--- a/palacios/include/palacios/vmm_cpuid.h
+++ b/palacios/include/palacios/vmm_cpuid.h
@@ -32,7 +32,7 @@
 struct guest_info;
 
 void v3_init_cpuid_map(struct v3_vm_info * vm);
-
+int v3_deinit_cpuid_map(struct v3_vm_info * vm);
 
 struct v3_cpuid_hook {
     uint32_t cpuid;