seL4/include/arch
Adrian Danis d4d1613f6c Arch abstract for postCapDeletion
Allows architectures to define their own operations for post deletion of capabilities.
The Arch_ variants could be extended to Mode_ if desired in the future, but there is
no need to do this until it is necessary.
2018-02-23 10:03:50 +11:00
..
arm Arch abstract for postCapDeletion 2018-02-23 10:03:50 +11:00
x86/arch Arch abstract for postCapDeletion 2018-02-23 10:03:50 +11:00