12 lines
194 B
C
12 lines
194 B
C
#ifndef KERNEL_X86_64_PMAP_H_
|
|
#define KERNEL_X86_64_PMAP_H_
|
|
|
|
#include <arch/paging.h>
|
|
|
|
#define ML_PMAP_INVALID ((uintptr_t)-1)
|
|
|
|
typedef pml4t_ptr_t ml_pmap_t;
|
|
typedef uint64_t ml_pfn_t;
|
|
|
|
#endif
|