Merge branch 'devel'

[palacios-OLD.git] / kitten / include / arch-x86_64 / vsyscall.h

diff --git a/kitten/include/arch-x86_64/vsyscall.h b/kitten/include/arch-x86_64/vsyscall.h
new file mode 100644 (file)
index 0000000..ae5d0cc
--- /dev/null
+++ b/kitten/include/arch-x86_64/vsyscall.h
@@ -0,0 +1,24 @@
+#ifndef _ASM_X86_64_VSYSCALL_H_
+#define _ASM_X86_64_VSYSCALL_H_
+
+enum vsyscall_num {
+       __NR_vgettimeofday,
+       __NR_vtime,
+       __NR_vgetcpu,
+};
+
+#define VSYSCALL_START (-10UL << 20)
+#define VSYSCALL_SIZE 1024
+#define VSYSCALL_END (-2UL << 20)
+#define VSYSCALL_MAPPED_PAGES 1
+#define VSYSCALL_ADDR(vsyscall_nr) (VSYSCALL_START+VSYSCALL_SIZE*(vsyscall_nr))
+
+#ifdef __KERNEL__
+#include <lwk/init.h>
+
+void __init vsyscall_map(void);
+void __init vsyscall_init(void);
+
+#endif /* __KERNEL__ */
+
+#endif /* _ASM_X86_64_VSYSCALL_H_ */