Searched refs:seL4_GetIPCBuffer (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h25 seL4_GetIPCBuffer(void) function
36 return seL4_GetIPCBuffer()->msg[i];
42 seL4_GetIPCBuffer()->msg[i] = mr;
48 return seL4_GetIPCBuffer()->userData;
54 seL4_GetIPCBuffer()->userData = data;
60 return seL4_GetIPCBuffer()->caps_or_badges[i];
66 return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
72 seL4_GetIPCBuffer()->caps_or_badges[i] = (seL4_Word)cptr;
78 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
95 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
[all...]
H A Dsyscalls.h540 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h23 return seL4_GetIPCBuffer()->msg[i];
29 seL4_GetIPCBuffer()->msg[i] = mr;
35 return seL4_GetIPCBuffer()->userData;
41 seL4_GetIPCBuffer()->userData = data;
47 return seL4_GetIPCBuffer()->caps_or_badges[i];
53 return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
59 seL4_GetIPCBuffer()->caps_or_badges[i] = (seL4_Word)cptr;
65 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
82 seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
H A Dsyscalls.h372 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfunctions.h20 seL4_GetIPCBuffer(void) function
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfunctions.h21 seL4_GetIPCBuffer(void) function
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfunctions.h21 seL4_GetIPCBuffer(void) function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c244 static inline seL4_IPCBuffer *seL4_GetIPCBuffer(void) { function
248 return seL4_GetIPCBuffer()->msg[i];
251 seL4_GetIPCBuffer()->msg[i] = mr;
540 uintptr_t ipc_buffer = (uintptr_t)seL4_GetIPCBuffer();
576 (void *)(((void *)&seL4_GetIPCBuffer()->msg[0]));
600 (void *)(((void *)&seL4_GetIPCBuffer()->msg[0]));
626 (void *)(((void *)&seL4_GetIPCBuffer()->msg[0]));
645 (void *)(((void *)&seL4_GetIPCBuffer()->msg[0]));
782 (void *)(((void *)&seL4_GetIPCBuffer()->msg[0]));
805 (void *)(((void *)&seL4_GetIPCBuffer()
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Ddeprecated.h61 return seL4_GetIPCBuffer()->tag;
67 seL4_GetIPCBuffer()->tag = tag;
85 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h94 seL4_GetIPCBuffer(void) function
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventTo.c862 seL4_GetIPCBuffer function
889 seL4_GetIPCBuffer
1942 seL4_GetIPCBuffer
H A DRPCFrom.c963 seL4_GetIPCBuffer function
988 seL4_GetIPCBuffer
1010 seL4_GetIPCBuffer
2564 seL4_GetIPCBuffer
H A DRPCTo.c962 seL4_GetIPCBuffer function
987 seL4_GetIPCBuffer
1009 seL4_GetIPCBuffer
2087 seL4_GetIPCBuffer
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h584 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h416 strcpy((char*)seL4_GetIPCBuffer()->msg, name);

Completed in 177 milliseconds