#ifndef MANGO_USER_PMAP_H_
#define MANGO_USER_PMAP_H_

#include <stdint.h>

typedef uintptr_t ml_pmap_t;
typedef uint64_t ml_pfn_t;

#endif