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

/seL4-test-master/kernel/include/api/
H A Dsyscall.h38 static inline word_t PURE getSyscallArg(word_t i, word_t *ipc_buffer) argument
44 assert(ipc_buffer != NULL);
45 return ipc_buffer[i + 1];
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dfunctions.h36 LIBSEL4_INLINE_FUNC void seL4_SetIPCBuffer(seL4_IPCBuffer *ipc_buffer) argument
38 __sel4_ipc_buffer = ipc_buffer;
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread.h45 seL4_CPtr ipc_buffer; member in struct:sel4utils_thread
/seL4-test-master/kernel/src/object/
H A Dschedcontrol.c8 #include <mode/api/ipc_buffer.h>
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c59 res->ipc_buffer_addr = (seL4_Word) vspace_new_ipc_buffer(alloc, &res->ipc_buffer);
113 null_cap_data, res->ipc_buffer_addr, res->ipc_buffer);
/seL4-test-master/kernel/src/api/
H A Dfaults.c15 #include <mode/api/ipc_buffer.h>
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dframes.c210 faulter.thread.ipc_buffer);

Completed in 121 milliseconds