Lines Matching defs:seL4_GetIPCBuffer
42 LIBSEL4_INLINE_FUNC seL4_IPCBuffer *seL4_GetIPCBuffer(void)
49 return seL4_GetIPCBuffer()->msg[i];
54 seL4_GetIPCBuffer()->msg[i] = mr;
59 return seL4_GetIPCBuffer()->userData;
64 seL4_GetIPCBuffer()->userData = data;
69 return seL4_GetIPCBuffer()->caps_or_badges[i];
74 return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
79 seL4_GetIPCBuffer()->caps_or_badges[i] = (seL4_Word)cptr;
85 seL4_IPCBuffer *ipcbuffer = seL4_GetIPCBuffer();
101 seL4_IPCBuffer *ipcbuffer = seL4_GetIPCBuffer();