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

/seL4-mcs-10.1.1/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-mcs-10.1.1/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.h597 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfunctions.h20 seL4_GetIPCBuffer(void) function
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfunctions.h21 seL4_GetIPCBuffer(void) function
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfunctions.h21 seL4_GetIPCBuffer(void) function
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Ddeprecated.h60 return seL4_GetIPCBuffer()->tag;
66 seL4_GetIPCBuffer()->tag = tag;
84 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h108 seL4_GetIPCBuffer(void) function
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h698 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h633 strcpy((char*)seL4_GetIPCBuffer()->msg, name);

Completed in 171 milliseconds