palacios/src/palacios/svm_wbinvd.c

   1 /* Northwestern University */
   2 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
   3
   4 #include <palacios/svm_wbinvd.h>
   5 #include <palacios/vmm_intr.h>
   6
   7
   8 // Writeback and invalidate caches
   9 // should raise #GP if CPL is not zero
  10 // Otherwise execute
  11
  12 int handle_svm_wbinvd(struct guest_info * info)
  13 {
  14   if (info->cpl!=0) {
  15     PrintDebug("WBINVD: cpl!=0, injecting GPF\n");
  16     v3_raise_exception(info,GPF_EXCEPTION);
  17   } else {
  18     info->rip+=2;
  19     asm("wbinvd");
  20   }
  21   return 0;
  22
  23 }