#ifndef KERNEL_X86_64_PMAP_H_
#define KERNEL_X86_64_PMAP_H_

#include <arch/paging.h>

#define ML_PMAP_INVALID ((uintptr_t)-1)

typedef pml4t_ptr_t ml_pmap_t;
typedef uint64_t ml_pfn_t;

#endif