#ifndef _LIBJOVE_ARCH_x86_64_PAGER_H
#define _LIBJOVE_ARCH_x86_64_PAGER_H 1

#include <jove/error.h>
#include <jove/arch/x86_64/object-pagemap.h>

extern KernelObjectPageMap __jove_pagemap;

JoveError jove_pager_ensure_for(KernelObjectPageMap *map, uintptr_t vptr);
#define jove_pager_ensure(vptr) jove_pager_ensure_for(&__jove_pagemap, vptr)

int jove_pager_exists_for(KernelObjectPageMap *map, uintptr_t vptr);
#define jove_pager_exists(vptr) jove_pager_exists_for(&__jove_pagemap, vptr);

#endif