X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Fproto.h;fp=kitten%2Finclude%2Farch-x86_64%2Fproto.h;h=95cd178c14fdc6750b8134559ece769f726c38f6;hb=6299cb929a586fd8debcc316c1ede714d5b95979;hp=0000000000000000000000000000000000000000;hpb=e9e3ee43cb302909917b5919f6043347b73c6995;p=palacios.releases.git

diff --git a/kitten/include/arch-x86_64/proto.h b/kitten/include/arch-x86_64/proto.h
new file mode 100644
index 0000000..95cd178
--- /dev/null
+++ b/kitten/include/arch-x86_64/proto.h
@@ -0,0 +1,31 @@
+#ifndef _X86_64_PROTO_H
+#define _X86_64_PROTO_H
+
+/* misc architecture specific prototypes */
+
+extern void early_idt_handler(void);
+
+extern char boot_exception_stacks[];
+
+extern unsigned long table_start, table_end;
+
+void init_kernel_pgtables(unsigned long start, unsigned long end);
+
+extern unsigned long end_pfn_map;
+
+extern void init_resources(void);
+
+extern unsigned long ebda_addr, ebda_size;
+
+extern int unhandled_signal(struct task_struct *tsk, int sig);
+
+extern void asm_syscall(void);
+extern void asm_syscall_ignore(void);
+
+extern unsigned long __phys_addr(unsigned long virt_addr);
+
+void __init interrupts_init(void);
+
+extern paddr_t initrd_start, initrd_end;
+
+#endif