Searched refs:seL4_ReplyObject (Results 1 - 3 of 3) sorted by relevance
/seL4-mcs-10.1.1/include/api/ | ||
H A D | objecttype.h | 23 seL4_ReplyObject, enumerator in enum:api_object |
/seL4-mcs-10.1.1/libsel4/include/sel4/ | ||
H A D | objecttype.h | 23 seL4_ReplyObject, enumerator in enum:api_object |
/seL4-mcs-10.1.1/src/object/ | ||
H A D | objecttype.c | 53 case seL4_ReplyObject: 530 case seL4_ReplyObject: |
Completed in 48 milliseconds