/seL4-mcs-10.1.1/src/ |
H A D | string.c | 22 word_t strlcpy(char *dest, const char *src, word_t size) argument 26 dest[len] = src[len]; 28 dest[len] = '\0'; 32 word_t strlcat(char *dest, const char *src, word_t size) argument 35 /* get to the end of dest */ 36 for (len = 0; len < size && dest[len]; len++); 37 /* check that dest was at least 'size' length to prevent inserting 41 dest[len] = *src; 43 dest[len] = '\0';
|
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/ |
H A D | fpu.h | 67 static inline void saveFpuState(user_fpu_state_t *dest) argument 70 asm volatile("fxsave %[dest]" : [dest] "=m"(*dest)); 72 asm volatile("xsaveopt %[dest]" : [dest] "=m"(*dest) : "d"(xsave_features_high()), "a"(xsave_features_low())); 74 asm volatile("xsave %[dest]" : [dest] "=m"(*dest) [all...] |
/seL4-mcs-10.1.1/include/ |
H A D | string.h | 17 word_t strlcpy(char *dest, const char *src, word_t size); 18 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument 35 "D" (dest), 46 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 55 "D" (dest), 94 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 114 "D" (dest), 131 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 138 register seL4_Word dest_reg asm("r13") = dest;
|
H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument 34 "D" (dest), 45 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 53 "D" (dest), 90 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 109 "D" (dest), 125 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 132 register seL4_Word dest_reg asm("r13") = dest;
|
H A D | syscalls.h | 27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 29 x64_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3)); 33 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument 36 x64_sys_send(seL4_SysSend, dest, msgInfo.words[0], 45 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 47 x64_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3)); 51 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument 54 x64_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], 63 seL4_Signal(seL4_CPtr dest) argument 65 x64_sys_send_null(seL4_SysSend, dest, seL4_MessageInfo_ne 231 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 251 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument 292 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument 316 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument 362 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument 386 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument 432 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument 462 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 33 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1) argument 45 : "+d" (dest) 101 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument 124 "d" (dest) 179 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1) argument 190 "b" (dest), 198 x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 209 "b" (dest), 238 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument 256 "b" (dest) 304 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 310 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument 317 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 323 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument 330 seL4_Signal(seL4_CPtr dest) argument 450 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 463 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument 483 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument 501 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument 526 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_CPtr reply) argument 547 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument 575 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender) argument 593 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0) argument [all...] |
/seL4-mcs-10.1.1/src/fastpath/ |
H A D | fastpath.c | 30 tcb_t *dest; local 64 dest = TCB_PTR(endpoint_ptr_get_epQueue_head(ep_ptr)); 73 if (dest->tcbArch.tcbContext.breakpointState.single_step_enabled) { 79 newVTable = TCB_PTR_CTE_PTR(dest, tcbVTable)->cap; 111 if (likely(dest->tcbPriority < NODE_STATE(ksCurThread->tcbPriority)) && 112 !isHighestPrio(dom, dest->tcbPriority)) { 129 if (unlikely(dest->tcbDomain != ksCurDomain && maxDom)) { 133 if (unlikely(dest->tcbSchedContext != NULL)) { 137 reply_t *reply = thread_state_get_replyObject_np(dest->tcbState); 144 if (unlikely(NODE_STATE(ksCurThread)->tcbAffinity != dest [all...] |
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/machine/ |
H A D | fpu.h | 100 static inline void saveFpuState(user_fpu_state_t *dest) argument 118 dest->fpexc = fpexc; 126 assert ((dest->fpexc & BIT(FPEXC_EX_BIT)) == 0); 129 register word_t regs_d16_d31 asm("ip") = (word_t) &dest->fpregs[16]; 138 register word_t regs_d0_d15 asm("r2") = (word_t) &dest->fpregs[0]; 146 : [tcb_fpscr] "r" (&dest->fpscr), "r" (regs_d0_d15)
|
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | syscalls.h | 33 * @param[in] dest The capability to be invoked. 37 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo); 72 * @param[in] dest The capability to be invoked. 81 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo); 92 * @param[in] dest The capability to be invoked. 96 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo); 186 * @param[in] dest The capability to be invoked. 203 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply); 213 * @param[in] dest The capability to be invoked. 228 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_ [all...] |
/seL4-mcs-10.1.1/src/object/ |
H A D | endpoint.c | 62 tcb_t *dest; local 66 dest = queue.head; 69 assert(dest); 72 queue = tcbEPDequeue(dest, queue); 80 doIPCTransfer(thread, epptr, badge, canGrant, dest); 82 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(dest->tcbState)); 90 reply_push(thread, dest, reply, canDonate); 92 } else if (canDonate && dest->tcbSchedContext == NULL) { 93 schedContext_donate(thread->tcbSchedContext, dest); 97 assert(dest [all...] |
H A D | notification.c | 118 tcb_t *dest; local 121 dest = ntfn_queue.head; 124 assert(dest); 127 ntfn_queue = tcbEPDequeue(dest, ntfn_queue); 135 maybeDonateSchedContext(dest, ntfnPtr); 136 setThreadState(dest, ThreadState_Running); 137 setRegister(dest, badgeRegister, badge); 138 possibleSwitchTo(dest);
|
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 22 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 24 arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3)); 28 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument 31 arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], 40 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 42 arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3)); 46 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument 49 arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], 58 seL4_Signal(seL4_CPtr dest) argument 60 arm_sys_send_null(seL4_SysSend, dest, seL4_MessageInfo_ne 146 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 166 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument 289 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument 321 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument 369 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument 401 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 55 register seL4_Word destptr asm("r0") = dest; 120 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 122 register seL4_Word destptr asm("r0") = dest; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 164 register seL4_Word dest_reg asm("r8") = dest;
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 55 register seL4_Word destptr asm("x0") = dest; 120 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 122 register seL4_Word destptr asm("x0") = dest; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 164 register seL4_Word dest_reg asm("x8") = dest;
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 55 register seL4_Word destptr asm("r0") = dest; 120 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 122 register seL4_Word destptr asm("r0") = dest; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 164 register seL4_Word dest_reg asm("r8") = dest;
|
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/machine/ |
H A D | fpu.h | 22 static inline void saveFpuState(user_fpu_state_t *dest) argument 51 : "r" (dest)
|
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument 31 register seL4_Word destptr asm("a0") = dest; 129 riscv_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument 135 register seL4_Word destptr asm("a0") = dest; 162 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 164 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), 169 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument 172 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], 182 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 184 riscv_sys_send(seL4_SysNBSend, dest, msgInf 190 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument 223 seL4_Signal(seL4_CPtr dest) argument 313 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument 346 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument [all...] |
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 67 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 70 setRegister(dest, EBP, getRegister(src, EBP)); 73 setRegister(dest, EDI, getRegister(src, EDI));
|
/seL4-mcs-10.1.1/libsel4/tools/ |
H A D | invocation_header_gen.py | 167 parser.add_argument('--dest', type=argparse.FileType('w'), 207 args.dest.write(data) 209 args.dest.close()
|
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 167 parser.add_argument('--dest', type=argparse.FileType('w'), 207 args.dest.write(data) 209 args.dest.close()
|
/seL4-mcs-10.1.1/tools/ |
H A D | invocation_header_gen.py | 167 parser.add_argument('--dest', type=argparse.FileType('w'), 207 args.dest.write(data) 209 args.dest.close()
|
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 92 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 101 setRegister(dest, reg, getRegister(src, reg));
|
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/fastpath/ |
H A D | fastpath.h | 84 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 93 setRegister(dest, reg, getRegister(src, reg));
|
/seL4-mcs-10.1.1/include/arch/riscv/arch/fastpath/ |
H A D | fastpath.h | 90 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 99 setRegister(dest, reg, getRegister(src, reg));
|