#include "../../memory.h"
#include "jove/object-dir.h"
#include "kernel/object.h"
#include <jove/arch/x86_64/object-pagemap.h>
#include <jove/arch/x86_64/pager.h>
#include <stdbool.h>

extern void __libjove_pager_init(uint8_t);

void
pager_setup(void)
{
    __libjove_pager_init(INIT_OBJECT_PAGEMAP);
}