include/arch/x86_64/init.h


1
2
3
4
5
6
7
8
9
10
11
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