#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 */ |