#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);
}