Searched defs:seL4_IPCBuffer (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/libsel4/include/sel4/ | ||
| H A D | shared_types.h | 19 } seL4_IPCBuffer __attribute__((__aligned__(sizeof(struct seL4_IPCBuffer_)))); typedef in typeref:struct:seL4_IPCBuffer_ |
Completed in 26 milliseconds