Searched refs:seL4_IPCBuffer_ (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h18 typedef struct seL4_IPCBuffer_ { struct
26 } seL4_IPCBuffer __attribute__ ((__aligned__ (sizeof(struct seL4_IPCBuffer_))));
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dshared_types.h18 typedef struct seL4_IPCBuffer_ { struct
26 } seL4_IPCBuffer __attribute__ ((__aligned__ (sizeof(struct seL4_IPCBuffer_))));
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c695 seL4_IPCBuffer_ struct
H A DEventTo.c595 seL4_IPCBuffer_ struct
H A DRPCFrom.c696 seL4_IPCBuffer_ struct
H A DRPCTo.c695 seL4_IPCBuffer_ struct
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c167 typedef struct seL4_IPCBuffer_ { struct

Completed in 154 milliseconds