Searched refs:seL4_CPtr (Results 1 - 25 of 28) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dtypes.h19 typedef seL4_CPtr seL4_ARM_Page;
20 typedef seL4_CPtr seL4_ARM_PageTable;
21 typedef seL4_CPtr seL4_ARM_PageDirectory;
22 typedef seL4_CPtr seL4_ARM_ASIDControl;
23 typedef seL4_CPtr seL4_ARM_ASIDPool;
24 typedef seL4_CPtr seL4_ARM_VCPU;
25 typedef seL4_CPtr seL4_ARM_IOSpace;
26 typedef seL4_CPtr seL4_ARM_IOPageTable;
H A Dfunctions.h50 LIBSEL4_INLINE_FUNC seL4_CPtr
53 return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
57 seL4_SetCap(int i, seL4_CPtr cptr)
63 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth)
80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth)
H A Dsyscalls.h22 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
28 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
40 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
46 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
76 seL4_Signal(seL4_CPtr dest)
82 seL4_Recv(seL4_CPtr src, seL4_Word* sender)
106 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender,
140 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender)
164 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
184 seL4_CallWithMRs(seL4_CPtr des
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dtypes.h20 typedef seL4_CPtr seL4_X86_ASIDControl;
21 typedef seL4_CPtr seL4_X86_ASIDPool;
22 typedef seL4_CPtr seL4_X86_IOSpace;
23 typedef seL4_CPtr seL4_X86_IOPort;
24 typedef seL4_CPtr seL4_X86_IOPortControl;
25 typedef seL4_CPtr seL4_X86_Page;
26 typedef seL4_CPtr seL4_X86_PDPT;
27 typedef seL4_CPtr seL4_X86_PageDirectory;
28 typedef seL4_CPtr seL4_X86_PageTable;
29 typedef seL4_CPtr seL4_X86_IOPageTabl
[all...]
H A Dfunctions.h55 LIBSEL4_INLINE_FUNC seL4_CPtr
58 seL4_CPtr cap;
64 seL4_SetCap(int i, seL4_CPtr cptr)
70 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth)
86 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth)
H A Dsyscalls.h22 seL4_Wait(seL4_CPtr src, seL4_Word *sender)
28 seL4_Poll(seL4_CPtr src, seL4_Word *sender)
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dsyscalls.h37 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
61 seL4_Recv(seL4_CPtr src, seL4_Word* sender);
80 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
108 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
133 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender);
158 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender);
186 seL4_Signal(seL4_CPtr dest);
208 seL4_Wait(seL4_CPtr src, seL4_Word *sender);
236 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
318 seL4_DebugCapIdentify(seL4_CPtr ca
[all...]
H A Dtypes.h36 typedef seL4_CPtr seL4_CNode;
37 typedef seL4_CPtr seL4_IRQHandler;
38 typedef seL4_CPtr seL4_IRQControl;
39 typedef seL4_CPtr seL4_TCB;
40 typedef seL4_CPtr seL4_Untyped;
41 typedef seL4_CPtr seL4_DomainSet;
H A Dshared_types.h23 seL4_CPtr receiveCNode;
24 seL4_CPtr receiveIndex;
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h26 typedef seL4_Word seL4_CPtr; typedef
28 typedef seL4_CPtr seL4_RISCV_Page;
29 typedef seL4_CPtr seL4_RISCV_PageTable;
30 typedef seL4_CPtr seL4_RISCV_ASIDControl;
31 typedef seL4_CPtr seL4_RISCV_ASIDPool;
H A Dfunctions.h63 static inline seL4_CPtr
66 return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
70 seL4_SetCap(int i, seL4_CPtr cptr)
76 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth)
93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth)
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dtypes.h19 typedef seL4_Word seL4_CPtr; typedef
24 typedef seL4_CPtr seL4_ARM_PageUpperDirectory;
25 typedef seL4_CPtr seL4_ARM_PageGlobalDirectory;
/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h23 seL4_CPtr receiveCNode;
24 seL4_CPtr receiveIndex;
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dtypes.h24 typedef seL4_Word seL4_CPtr; typedef
26 typedef seL4_CPtr seL4_X64_PML4;
H A Dsyscalls.h27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
33 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
45 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
51 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
81 seL4_Signal(seL4_CPtr dest)
87 seL4_Recv(seL4_CPtr src, seL4_Word* sender)
111 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender,
144 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender)
168 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
188 seL4_CallWithMRs(seL4_CPtr des
[all...]
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c154 seL4_CPtr typedef
157 seL4_CPtr
161 seL4_CPtr
165 seL4_CPtr
169 seL4_CPtr
173 seL4_CPtr
725 seL4_CPtr
728 seL4_CPtr
737 seL4_CPtr
741 seL4_CPtr
[all...]
H A DEventTo.c154 seL4_CPtr typedef
157 seL4_CPtr
161 seL4_CPtr
165 seL4_CPtr
169 seL4_CPtr
173 seL4_CPtr
625 seL4_CPtr
628 seL4_CPtr
637 seL4_CPtr
641 seL4_CPtr
[all...]
H A DRPCFrom.c155 seL4_CPtr typedef
158 seL4_CPtr
162 seL4_CPtr
166 seL4_CPtr
170 seL4_CPtr
174 seL4_CPtr
726 seL4_CPtr
729 seL4_CPtr
738 seL4_CPtr
742 seL4_CPtr
[all...]
H A DRPCTo.c154 seL4_CPtr typedef
157 seL4_CPtr
161 seL4_CPtr
165 seL4_CPtr
169 seL4_CPtr
173 seL4_CPtr
725 seL4_CPtr
728 seL4_CPtr
737 seL4_CPtr
741 seL4_CPtr
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dtypes.h23 typedef seL4_Word seL4_CPtr; typedef
H A Dsyscalls.h296 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
302 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
309 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
315 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
335 seL4_Signal(seL4_CPtr dest)
341 seL4_Recv(seL4_CPtr src, seL4_Word* sender)
361 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender,
386 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender)
406 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo)
421 seL4_CallWithMRs(seL4_CPtr des
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dtypes.h19 typedef seL4_Word seL4_CPtr; typedef
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dtypes.h19 typedef seL4_Word seL4_CPtr; typedef
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/
H A Dtypes.h40 typedef cptr_t seL4_CPtr; typedef
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dtypes.h38 typedef cptr_t seL4_CPtr; typedef

Completed in 82 milliseconds

12