Searched refs:seL4_IA32_IOSpace (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | Allocator.py | 120 elif type == ObjectType.seL4_IA32_IOSpace: |
H A D | Object.py | 80 seL4_IA32_IOSpace = auto() variable in class:ObjectType |
Completed in 31 milliseconds