Searched refs:userData (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/include/api/
H A Dshared_types.h21 seL4_Word userData; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dshared_types.h21 seL4_Word userData; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h35 return seL4_GetIPCBuffer()->userData;
41 seL4_GetIPCBuffer()->userData = data;
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h48 return seL4_GetIPCBuffer()->userData;
54 seL4_GetIPCBuffer()->userData = data;
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h37 SEL4_GET_IPCBUF(userData, data);
44 SEL4_SET_IPCBUF(userData, data);
/seL4-mcs-10.1.1/manual/parts/
H A Dipc.tex59 \ipcparam{seL4\_Word}{}{userData}{Base address of the structure, used by

Completed in 476 milliseconds