/seL4-mcs-10.1.1/src/ |
H A D | string.c | 22 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 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/arch_include/x86/sel4/arch/ |
H A D | syscalls.h | 22 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 D | fpu.h | 83 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 D | syscalls.h | 47 * @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 D | kernel_astyle.sh | 15 kernel_sources=$(find ../src ../include ../libsel4 -name '*.[ch]')
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 54 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 D | fpu.h | 188 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 D | syscalls.h | 64 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 D | syscalls.h | 75 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 D | syscalls.h | 75 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 D | syscalls.h | 75 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 D | elf.c | 63 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 D | elf.c | 60 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 D | syscalls_sysenter.h | 62 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 D | syscalls.h | 69 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 D | syscalls_syscall.h | 60 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 D | fpu.h | 57 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 D | syscalls.h | 73 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 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/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));
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/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));
|
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/ |
H A D | machine.h | 92 #define FIQCTRL_FIQ_SRC(src) (FIQCTRL_FIQ_SRC_##src)
|