/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
H A D | types.h | 19 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 D | functions.h | 50 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 D | syscalls.h | 22 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 D | types.h | 20 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 D | functions.h | 55 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 D | syscalls.h | 22 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 D | syscalls.h | 37 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 D | types.h | 36 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 D | shared_types.h | 23 seL4_CPtr receiveCNode; 24 seL4_CPtr receiveIndex;
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 26 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 D | functions.h | 63 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 D | types.h | 19 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 D | shared_types.h | 23 seL4_CPtr receiveCNode; 24 seL4_CPtr receiveIndex;
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | types.h | 24 typedef seL4_Word seL4_CPtr; typedef 26 typedef seL4_CPtr seL4_X64_PML4;
|
H A D | syscalls.h | 27 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 D | EventFrom.c | 154 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 D | EventTo.c | 154 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 D | RPCFrom.c | 155 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 D | RPCTo.c | 154 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 D | types.h | 23 typedef seL4_Word seL4_CPtr; typedef
|
H A D | syscalls.h | 296 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 D | types.h | 19 typedef seL4_Word seL4_CPtr; typedef
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | types.h | 19 typedef seL4_Word seL4_CPtr; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
H A D | types.h | 40 typedef cptr_t seL4_CPtr; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
H A D | types.h | 38 typedef cptr_t seL4_CPtr; typedef
|