palacios/include/palacios/svm_pause.h

   1 /* Northwestern University */
   2 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
   3
   4 #ifndef __SVM_PAUSE_H
   5 #define __SVM_PAUSE_H
   6
   7 #ifdef __V3VEE__
   8
   9 #include <palacios/vm_guest.h>
  10 #include <palacios/vmcb.h>
  11 #include <palacios/vmm.h>
  12
  13
  14 int handle_svm_pause(struct guest_info * info);
  15
  16
  17 #endif // ! __V3VEE__
  18
  19 #endif