diff options
author | attilio <attilio@FreeBSD.org> | 2013-02-06 11:49:43 +0000 |
---|---|---|
committer | attilio <attilio@FreeBSD.org> | 2013-02-06 11:49:43 +0000 |
commit | b38f2c588482cd27717fe15da339c1dd8829f502 (patch) | |
tree | 622ca590788634ec1ab9a1dabec8c09265f6b2b2 /sys/amd64/include | |
parent | d3b7ec3a087fe017933d12d65a35cae1d1a00914 (diff) | |
parent | 7280eb0924ffd1922c50d6f2fafbd523b47c9210 (diff) | |
download | FreeBSD-src-b38f2c588482cd27717fe15da339c1dd8829f502.zip FreeBSD-src-b38f2c588482cd27717fe15da339c1dd8829f502.tar.gz |
MFC
Diffstat (limited to 'sys/amd64/include')
-rw-r--r-- | sys/amd64/include/pmap.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/sys/amd64/include/pmap.h b/sys/amd64/include/pmap.h index 492354d..24fd2bc 100644 --- a/sys/amd64/include/pmap.h +++ b/sys/amd64/include/pmap.h @@ -113,13 +113,7 @@ ((unsigned long)(l2) << PDRSHIFT) | \ ((unsigned long)(l1) << PAGE_SHIFT)) -/* Initial number of kernel page tables. */ -#ifndef NKPT -#define NKPT 32 -#endif - #define NKPML4E 1 /* number of kernel PML4 slots */ -#define NKPDPE howmany(NKPT, NPDEPG)/* number of kernel PDP slots */ #define NUPML4E (NPML4EPG/2) /* number of userland PML4 pages */ #define NUPDPE (NUPML4E*NPDPEPG)/* number of userland PDP pages */ @@ -181,6 +175,7 @@ typedef u_int64_t pml4_entry_t; #define PML4map ((pd_entry_t *)(addr_PML4map)) #define PML4pml4e ((pd_entry_t *)(addr_PML4pml4e)) +extern int nkpt; /* Initial number of kernel page tables */ extern u_int64_t KPDPphys; /* physical address of kernel level 3 */ extern u_int64_t KPML4phys; /* physical address of kernel level 4 */ |