1 files changed, 12 insertions, 0 deletions
diff --git a/include/arch/x86_64/init.h b/include/arch/x86_64/init.h
new file mode 100644
index 0000000..d8fdf2c
--- /dev/null
+++ b/include/arch/x86_64/init.h
@@ -0,0 +1,12 @@
+#ifndef _JOVE_x86_64_INIT_H
+#define _JOVE_x86_64_INIT_H 1
+
+#include <stdint.h>
+
+uintptr_t init_alloc_pageframe();
+void init_map_pageframe(uintptr_t pptr, uintptr_t vptr, uint8_t pflags);
+
+__attribute__((noreturn))
+void usermode(void *ip, void *sp);
+
+#endif