Searched refs:dest (Results 1 - 25 of 36) sorted by relevance

12

/seL4-mcs-10.1.1/src/
H A Dstring.c22 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 Dfpu.h67 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 Dstring.h17 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 Dsyscalls_sysenter.h21 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 Dsyscalls_syscall.h21 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 Dsyscalls.h27 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 Dsyscalls.h33 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 Dfastpath.c30 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 Dfpu.h100 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 Dsyscalls.h33 * @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 Dendpoint.c62 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 Dnotification.c118 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 Dsyscalls.h22 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 Dsyscalls.h53 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 Dsyscalls.h53 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 Dsyscalls.h53 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 Dfpu.h22 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 Dsyscalls.h28 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 Dfastpath.h67 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 Dinvocation_header_gen.py167 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 Dinvocation_header_gen.py167 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 Dinvocation_header_gen.py167 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 Dfastpath.h92 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 Dfastpath.h84 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 Dfastpath.h90 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
99 setRegister(dest, reg, getRegister(src, reg));

Completed in 194 milliseconds

12