diff options
| author | Ruslan Bukin <br@FreeBSD.org> | 2016-02-26 14:04:00 +0000 |
|---|---|---|
| committer | Ruslan Bukin <br@FreeBSD.org> | 2016-02-26 14:04:00 +0000 |
| commit | 14232d424d3deeeb3ccff2892d358e7437f236df (patch) | |
| tree | 8630998b8965a3722bc198d8395749de9ece7647 /sys/riscv/include | |
| parent | 461a7671c76d2c5392b5c775cc22fd81d927bffc (diff) | |
| download | src-14232d424d3deeeb3ccff2892d358e7437f236df.tar.gz src-14232d424d3deeeb3ccff2892d358e7437f236df.zip | |
o Use uint64_t for page number as it doesn't fit uint32_t.
o Implement growkernel bits for L1 level of pagetables.
This allows us to boot with 128GB of physical memory.
Sponsored by: DARPA, AFRL
Sponsored by: HEIF5
Notes
Notes:
svn path=/head/; revision=296094
Diffstat (limited to 'sys/riscv/include')
| -rw-r--r-- | sys/riscv/include/pte.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/riscv/include/pte.h b/sys/riscv/include/pte.h index 133177920686..d15cb84379fa 100644 --- a/sys/riscv/include/pte.h +++ b/sys/riscv/include/pte.h @@ -41,6 +41,7 @@ #ifndef LOCORE typedef uint64_t pd_entry_t; /* page directory entry */ typedef uint64_t pt_entry_t; /* page table entry */ +typedef uint64_t pn_t; /* page number */ #endif /* Level 0 table, 512GiB per entry */ |