Searched defs:seL4_SysReply (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/l4v/camkes/glue-proofs/ | ||
H A D | EventTo.c | 331 seL4_SysReply enumerator in enum:__anon65 |
H A D | EventFrom.c | 431 seL4_SysReply enumerator in enum:__anon53 |
H A D | RPCTo.c | 431 seL4_SysReply enumerator in enum:__anon95 |
H A D | RPCFrom.c | 432 seL4_SysReply enumerator in enum:__anon80 |
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ | ||
H A D | jiraver443.c | 99 seL4_SysReply = -6, enumerator in enum:__anon119 |
Completed in 171 milliseconds