#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