X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_hvm.h;h=7a1dceb7c1c626459fcdc00dd56fa84868447541;hb=aeb2b4bea5822761eebe0c9f4d2bef40324354c7;hp=576828c96f6c9e98d99de1b12508972e03411b71;hpb=3650bf4aaa4f83afae52c8fee98fce6e3ee68deb;p=palacios.git

diff --git a/palacios/include/palacios/vmm_hvm.h b/palacios/include/palacios/vmm_hvm.h
index 576828c..7a1dceb 100644
--- a/palacios/include/palacios/vmm_hvm.h
+++ b/palacios/include/palacios/vmm_hvm.h
@@ -71,6 +71,8 @@ void     v3_hvm_find_apics_seen_by_core(struct guest_info *core, struct v3_vm_in
 int v3_setup_hvm_vm_for_boot(struct v3_vm_info *vm);
 int v3_setup_hvm_hrt_core_for_boot(struct guest_info *core);
 
+int v3_handle_hvm_reset(struct guest_info *core);
+
 #endif /* ! __V3VEE__ */