X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Fptrace.h;h=19f91d94d790a1013b1262169e309a697bb3665d;hb=e95bdc48b03086dd78b9dde7d3299312fa31c89c;hp=e57c4f4d5dc94b76da64c4711a88243f34a05ecd;hpb=6299cb929a586fd8debcc316c1ede714d5b95979;p=palacios-OLD.git

diff --git a/kitten/include/arch-x86_64/ptrace.h b/kitten/include/arch-x86_64/ptrace.h
index e57c4f4..19f91d9 100644
--- a/kitten/include/arch-x86_64/ptrace.h
+++ b/kitten/include/arch-x86_64/ptrace.h
@@ -116,6 +116,10 @@ enum {
         EF_ID   = 0x00200000,   /* id */
 };
 
+/* TODO: remove this */
+typedef void (*idtvec_handler_t)(struct pt_regs *regs, unsigned int vector);
+void set_idtvec_handler(unsigned int vector, idtvec_handler_t handler);
+
 #endif
 
 #endif