portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

x64: add missing constant PPTR_TOP

Browse source 
PPTR_TOP represents the top that can be made available to the
user as untyped.
This commit is contained in:
Anna Lyons 2019-04-11 13:46:51 +10:00
parent 4a62e72f9f
commit 41780b0602
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/plat/pc99/plat/64/plat_mode/machine/hardware.h
View file

@ -48,6 +48,7 @@
/* Below the main kernel window we have any slots for the TLB bitmap */
#define TLBBITMAP_PML4_RESERVED (TLBBITMAP_ROOT_ENTRIES * BIT(PML4_INDEX_OFFSET))
#define TLBBITMAP_PPTR (PPTR_BASE - TLBBITMAP_PML4_RESERVED)
#define PPTR_TOP TLBBITMAP_PPTR
/* Define PPTR_USER_TOP to be 1 before the last address before sign extension occurs.
* This ensures that