10 lines
151 B
C
10 lines
151 B
C
#ifndef SOCKS_X86_64_PMAP_H_
|
|
#define SOCKS_X86_64_PMAP_H_
|
|
|
|
#include <arch/paging.h>
|
|
|
|
typedef pml4t_ptr_t ml_pmap_t;
|
|
typedef uint64_t ml_pfn_t;
|
|
|
|
#endif
|