X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Fxcall.h;fp=kitten%2Finclude%2Farch-x86_64%2Fxcall.h;h=0000000000000000000000000000000000000000;hb=80d6ccd14cca51eec611cc96cf1e39c7a9c98421;hp=eb3dd90ad4f49da23b0a4c4f7cb1376b4ad9563b;hpb=e5d7715c14a23e72d742d402d4e4cdf97ffab697;p=palacios.releases.git

diff --git a/kitten/include/arch-x86_64/xcall.h b/kitten/include/arch-x86_64/xcall.h
deleted file mode 100644
index eb3dd90..0000000
--- a/kitten/include/arch-x86_64/xcall.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#ifndef _X86_64_XCALL_H
-#define _X86_64_XCALL_H
-
-#include <arch/ptrace.h>
-
-void arch_xcall_function_interrupt(struct pt_regs *regs, unsigned int vector);
-void arch_xcall_reschedule_interrupt(struct pt_regs *regs, unsigned int vector);
-
-#endif