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

Fixed riscv64 ASID constants to avoid asid pool overflow

Browse source
This commit is contained in:
Sylvain Gauthier 2019-03-27 13:16:30 +11:00
parent 76bf1d2bcd
commit 8c27637d4a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/constants.h
View file

@ -43,8 +43,8 @@
#define seL4_TeraPageBits 39
#define seL4_PageTableBits 12
#define seL4_NumASIDPoolsBits 6
#define seL4_ASIDPoolIndexBits 10
#define seL4_NumASIDPoolsBits 7
#define seL4_ASIDPoolIndexBits 9
#define seL4_ASIDPoolBits 12
/* Untyped size limits */