#ifndef _JOVE_ARCH_x86_64_PAGE_MAPPING_H
#define _JOVE_ARCH_x86_64_PAGE_MAPPING_H 1

#include "arch/x86_64/page.h"

pmle_t *page_mapping_traverse(pmle_t *pml4, uint8_t depth, uint16_t *path);

#endif