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

trivial: VspaceBits -> VSpaceBits on riscv32

Browse source
This commit is contained in:
Anna Lyons 2019-06-18 10:03:25 +10:00
parent 8586b7f2b8
commit 5f8e361522
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/constants.h
View file

@ -45,7 +45,7 @@
#define seL4_LargePageBits 22
#define seL4_HugePageBits 29
#define seL4_PageTableBits 12
#define seL4_VspaceBits seL4_PageTableBits
#define seL4_VSpaceBits seL4_PageTableBits
#define seL4_NumASIDPoolsBits 5
#define seL4_ASIDPoolIndexBits 4