X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_wbinvd.c;h=85632d86823198ec0ed26689b7e917f6372430bc;hp=921039ea56a23c946516d89f25a2addd34e24184;hb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;hpb=1c46db5ec8d086d76f7120a638199564947694d3

diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c
index 921039e..85632d8 100644
--- a/palacios/src/palacios/svm_wbinvd.c
+++ b/palacios/src/palacios/svm_wbinvd.c
@@ -28,7 +28,7 @@
 // should raise #GP if CPL is not zero
 // Otherwise execute
 
-int handle_svm_wbinvd(struct guest_info * info)
+int v3_handle_svm_wbinvd(struct guest_info * info)
 {
   if (info->cpl!=0) { 
     PrintDebug("WBINVD: cpl!=0, injecting GPF\n");