Searched defs:seL4_CapIOSpace (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/api/ | ||
H A D | bootinfo_types.h | 27 seL4_CapIOSpace = 8, /* global IO space cap (null cap if no IOMMU support) */ enumerator in enum:__anon106 |
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ | ||
H A D | bootinfo_types.h | 27 seL4_CapIOSpace = 8, /* global IO space cap (null cap if no IOMMU support) */ enumerator in enum:__anon171 |
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ | ||
H A D | EventFrom.c | 1587 seL4_CapIOSpace enumerator in enum:__anon23 |
H A D | EventTo.c | 1775 seL4_CapIOSpace enumerator in enum:__anon35 |
H A D | RPCFrom.c | 2397 seL4_CapIOSpace enumerator in enum:__anon50 |
H A D | RPCTo.c | 1920 seL4_CapIOSpace enumerator in enum:__anon65 |
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ | ||
H A D | jiraver443.c | 366 seL4_CapIOSpace = 8, enumerator in enum:__anon90 |
Completed in 84 milliseconds