Searched defs:seL4_GetIPCBuffer (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | functions.h | 42 LIBSEL4_INLINE_FUNC seL4_IPCBuffer *seL4_GetIPCBuffer(void) function [all...] |
Completed in 41 milliseconds