#ifndef SOCKS_X86_64_PMAP_H_
#define SOCKS_X86_64_PMAP_H_

#include <arch/paging.h>

typedef pml4t_ptr_t ml_pmap_t;
typedef uint64_t ml_pfn_t;

#endif