Searched refs:src (Results 1 - 25 of 26) 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
25 for (len = 0; len + 1 < size && src[len]; len++) {
26 dest[len] = src[len];
32 word_t strlcat(char *dest, const char *src, word_t size) argument
40 for (; len + 1 < size && *src; len++, src++) {
41 dest[len] = *src;
/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/arch_include/x86/sel4/arch/
H A Dsyscalls.h22 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
24 return seL4_NBWait(src, sender);
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dfpu.h83 static inline void loadFpuState(user_fpu_state_t *src) argument
86 asm volatile("fxrstor %[src]" :: [src] "m"(*src));
89 asm volatile("xrstors %[src]" :: [src] "m"(*src), "d"(xsave_features_high()), "a"(xsave_features_low()));
91 asm volatile("xrstor %[src]" :: [src] "m"(*src), "
[all...]
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dsyscalls.h47 * @param[in] src The capability to be invoked.
62 seL4_Recv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply);
106 * @param[in] src The capability to be invoked.
121 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply);
132 * @param[in] src The capability to perform the receive on.
149 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply);
160 * @param[in] src The capability to receive on.
175 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply);
194 * @param[in] src The capability to receive on.
203 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Wor
[all...]
/seL4-mcs-10.1.1/tools/
H A Dkernel_astyle.sh15 kernel_sources=$(find ../src ../include ../libsel4 -name '*.[ch]')
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h54 x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info) argument
66 : "+d" (src)
74 x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr1, seL4_Word reply) argument
95 "d" (src)
130 x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument
153 "d" (src)
216 x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr1, seL4_Word reply) argument
232 "b" (src)
262 x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument
280 "b" (src)
336 seL4_Recv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
354 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_CPtr reply) argument
375 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
393 seL4_Wait(seL4_CPtr src, seL4_Word* sender) argument
411 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0) argument
432 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) 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/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h188 static inline void loadFpuState(user_fpu_state_t *src) argument
194 register word_t regs_d16_d31 asm("r2") = (word_t) &src->fpregs[16];
202 register word_t regs_d0_d15 asm("r0") = (word_t) &src->fpregs[0];
203 register word_t regs_fpscr asm("r1") = src->fpscr;
213 MCR(FPEXC, src->fpexc);
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h64 seL4_Recv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
73 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, reply);
88 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply, argument
98 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, reply);
122 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
131 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, reply);
209 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
224 arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, reply);
241 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, argument
264 arm_sys_send_recv(seL4_SysReplyRecv, src,
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
456 seL4_Wait(seL4_CPtr src, seL4_Word* sender) argument
480 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
514 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) argument
710 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
77 register seL4_Word destptr asm("r0") = src;
90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument
92 register seL4_Word src_and_badge asm("r0") = src;
150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument
154 register seL4_Word src_and_badge asm("r0") = src;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
77 register seL4_Word destptr asm("x0") = src;
90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument
92 register seL4_Word src_and_badge asm("x0") = src;
150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument
154 register seL4_Word src_and_badge asm("x0") = src;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dsyscalls.h75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
77 register seL4_Word destptr asm("r0") = src;
90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument
92 register seL4_Word src_and_badge asm("r0") = src;
150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument
154 register seL4_Word src_and_badge asm("r0") = src;
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A Delf.c63 paddr_t src; local
70 src = (paddr_t)elfFile + phdr[i].p_offset;
73 memcpy((void*)dst, (char*)src, len);
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Delf.c60 paddr_t src; local
67 src = (paddr_t)elf + phdr[i].p_offset;
70 memcpy((void *)dst, (char *)src, len);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls_sysenter.h62 x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument
82 "D" (src),
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
150 "D" (src),
H A Dsyscalls.h69 seL4_Recv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
78 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, reply);
93 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, argument
103 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, reply);
126 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply) argument
135 x64_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, reply);
150 seL4_Wait(seL4_CPtr src, seL4_Word* sender) argument
159 x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, 0);
174 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, argument
184 x64_sys_recv(seL4_SysWait, src,
207 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) 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...]
H A Dsyscalls_syscall.h60 x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument
79 "D" (src),
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
145 "D" (src),
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/machine/
H A Dfpu.h57 static inline void loadFpuState(user_fpu_state_t *src) argument
86 : "r" (src)
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h73 riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
75 register seL4_Word destptr asm("a0") = src;
88 riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word argument
91 register seL4_Word src_and_badge asm("a0") = src;
229 seL4_Recv(seL4_CPtr src, seL4_Word* sender) argument
238 riscv_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
254 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, argument
264 riscv_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
288 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender) argument
297 riscv_sys_recv(seL4_SysNBRecv, src,
334 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
340 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
388 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender) argument
422 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, 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/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));
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/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));
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/
H A Dmachine.h92 #define FIQCTRL_FIQ_SRC(src) (FIQCTRL_FIQ_SRC_##src)

Completed in 64 milliseconds

12