lib/libjove/arch/x86_64/libjove.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include "jove.h"
#include "arch/x86_64/pager.h"

void
__libjove_arch_init(void)
{

}

void
__libjove_pager_init(uint8_t pml_obji)
{
    _jove_alloc_pagemap_inplace(&__jove_pagemap, &__rootdir, pml_obji);
}