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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h21 seL4_Word userData; member in struct:seL4_IPCBuffer_
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dshared_types.h21 seL4_Word userData; member in struct:seL4_IPCBuffer_
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h35 return seL4_GetIPCBuffer()->userData;
41 seL4_GetIPCBuffer()->userData = data;
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h48 return seL4_GetIPCBuffer()->userData;
54 seL4_GetIPCBuffer()->userData = data;
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h37 SEL4_GET_IPCBUF(userData, data);
44 SEL4_SET_IPCBUF(userData, data);
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c707 userData member in struct:seL4_IPCBuffer_
H A DEventTo.c607 userData member in struct:seL4_IPCBuffer_
H A DRPCFrom.c708 userData member in struct:seL4_IPCBuffer_
H A DRPCTo.c707 userData member in struct:seL4_IPCBuffer_
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dipc.tex59 \ipcparam{seL4\_Word}{}{userData}{Base address of the structure, used by
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c170 seL4_Word userData; member in struct:seL4_IPCBuffer_

Completed in 175 milliseconds