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

libsel4/armv8: Add seL4_ARM_VCPU for aarch64

Browse source
This commit is contained in:
Yanyan Shen 2018-03-27 14:05:45 +11:00
parent d6ea386129
commit 6bfc46311c
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
libsel4/tools/syscall_stub_gen.py
View file

@ -268,6 +268,7 @@ def init_arch_types(wordsize):
CapType("seL4_ARM_PageGlobalDirectory", wordsize),
CapType("seL4_ARM_ASIDControl", wordsize),
CapType("seL4_ARM_ASIDPool", wordsize),
CapType("seL4_ARM_VCPU", wordsize),
CapType("seL4_ARM_IOSpace", wordsize),
CapType("seL4_ARM_IOPageTable", wordsize),
StructType("seL4_UserContext", wordsize * 34, wordsize),