palacios/include/palacios/svm_halt.h

   1 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
   2 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
   3 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
   4
   5 #ifndef __SVM_HALT_H
   6 #define __SVM_HALT_H
   7
   8 #ifdef __V3VEE__
   9
  10 #include <palacios/vm_guest.h>
  11 #include <palacios/vmcb.h>
  12 #include <palacios/vmm.h>
  13
  14
  15 int handle_svm_halt(struct guest_info * info);
  16
  17 #endif // ! __V3VEE__
  18
  19 #endif