Searched refs:api_object (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dobjecttype.h8 typedef enum api_object { enum
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c489 api_object enum
H A DEventTo.c389 api_object enum
H A DRPCTo.c489 api_object enum
H A DRPCFrom.c490 api_object enum
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c107 typedef enum api_object { enum

Completed in 63 milliseconds