#ifndef __SVM_HALT_H
#define __SVM_HALT_H
#include <palacios/vm_guest.h>
#include <palacios/vmcb.h>
#include <palacios/vmm.h>


int handle_svm_halt(struct guest_info * info);



#endif