| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | functions.h | 19 LIBSEL4_INLINE_FUNC seL4_IPCBuffer*
24 return (seL4_IPCBuffer*)reg;
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | functions.h | 20 LIBSEL4_INLINE_FUNC seL4_IPCBuffer*
24 return *(seL4_IPCBuffer**)seL4_GlobalsFrame;
28 return (seL4_IPCBuffer*)reg;
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | functions.h | 20 LIBSEL4_INLINE_FUNC seL4_IPCBuffer*
24 return *(seL4_IPCBuffer**)seL4_GlobalsFrame;
28 return (seL4_IPCBuffer*)reg;
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | functions.h | 26 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)),\
38 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)),\
47 : [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)) /* outputs */\
57 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field))\
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | functions.h | 24 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)),\
36 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)),\
45 : [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field)) /* outputs */\
55 [offset] "i" (SEL4_OFFSETOF(seL4_IPCBuffer, field))\
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | functions.h | 24 static inline seL4_IPCBuffer*
29 return (seL4_IPCBuffer*)reg;
78 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
95 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
|
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | shared_types.h | 26 } seL4_IPCBuffer __attribute__ ((__aligned__ (sizeof(struct seL4_IPCBuffer_)))); typedef in typeref:struct:seL4_IPCBuffer_
|
| H A D | bootinfo_types.h | 59 seL4_IPCBuffer* ipcBuffer; /* pointer to initial thread's IPC buffer */
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | shared_types.h | 26 } seL4_IPCBuffer __attribute__ ((__aligned__ (sizeof(struct seL4_IPCBuffer_)))); typedef in typeref:struct:seL4_IPCBuffer_
|
| H A D | bootinfo_types.h | 59 seL4_IPCBuffer* ipcBuffer; /* pointer to initial thread's IPC buffer */
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | functions.h | 65 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
82 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | functions.h | 93 LIBSEL4_INLINE_FUNC seL4_IPCBuffer*
102 return (seL4_IPCBuffer*)seL4_GetUserData();
|
| /seL4-l4v-10.1.1/seL4/src/benchmark/ |
| H A D | benchmark_utilisation.c | 23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0]));
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventTo.c | 635 seL4_IPCBuffer typedef in typeref:struct:seL4_IPCBuffer_
860 seL4_IPCBuffer
870 seL4_IPCBuffer
1843 seL4_IPCBuffer
|
| H A D | EventFrom.c | 735 seL4_IPCBuffer typedef in typeref:struct:seL4_IPCBuffer_
1655 seL4_IPCBuffer
|
| H A D | RPCFrom.c | 736 seL4_IPCBuffer typedef in typeref:struct:seL4_IPCBuffer_
961 seL4_IPCBuffer
971 seL4_IPCBuffer
2465 seL4_IPCBuffer
|
| H A D | RPCTo.c | 735 seL4_IPCBuffer typedef in typeref:struct:seL4_IPCBuffer_
960 seL4_IPCBuffer
970 seL4_IPCBuffer
1988 seL4_IPCBuffer
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | structures.h | 283 compile_assert(ipc_buf_size_sane, sizeof(seL4_IPCBuffer) == BIT(seL4_IPCBufferSizeBits))
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 175 } seL4_IPCBuffer; typedef in typeref:struct:seL4_IPCBuffer_
244 static inline seL4_IPCBuffer *seL4_GetIPCBuffer(void) {
245 return *(seL4_IPCBuffer **)seL4_GlobalsFrame;
396 seL4_IPCBuffer *ipcBuffer;
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 292 BI_PTR(pptr)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;
|