X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Fshow.h;fp=kitten%2Finclude%2Farch-x86_64%2Fshow.h;h=c883382a66393adc7d8682ce30bddc3d3c382517;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios-OLD.git

diff --git a/kitten/include/arch-x86_64/show.h b/kitten/include/arch-x86_64/show.h
new file mode 100644
index 0000000..c883382
--- /dev/null
+++ b/kitten/include/arch-x86_64/show.h
@@ -0,0 +1,9 @@
+#ifndef _ASM_X86_64_SHOW_H
+#define _ASM_X86_64_SHOW_H
+
+#include <lwk/ptrace.h>
+
+extern void printk_address(unsigned long address);
+extern void show_registers(struct pt_regs *regs);
+
+#endif