]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - hypervisor/arch/x86/include/asm/vcpu.h
Merge remote-tracking branch 'kiszka/master'
[jailhouse.git] / hypervisor / arch / x86 / include / asm / vcpu.h
index b75e8601ae418df857983b5e710b26c7b58154e9..f1d7a4d2937916cf85219630c71b4bd62f4b3f93 100644 (file)
@@ -116,6 +116,7 @@ void vcpu_handle_cpuid(void);
 
 bool vcpu_handle_xsetbv(void);
 
-void vcpu_reset(bool hard_reset);
+void vcpu_reset(unsigned int sipi_vector);
+void vcpu_vendor_reset(unsigned int sipi_vector);
 
 #endif