#ifndef _ARCH_ADDR_H
#define _ARCH_ADDR_H

#include <stdint.h>

#define PAGE_LEVEL_BITS 9
#define PAGE_BITS 12

/* Integer type large enough to hold a physical address. */
typedef uintptr_t uintpaddr_t;

/* Integer type large enough to hold a virtual address. */
typedef uintptr_t uintvaddr_t;

/* A page table entry. */
typedef uint64_t pte_t;

#endif /* _ARCH_ADDR_H */