#ifndef MANGO_USER_PMAP_H_
#define MANGO_USER_PMAP_H_

typedef uintptr_t ml_pmap_t;
typedef uint64_t ml_pfn_t;

#endif