Home
last modified time | relevance | path

Searched refs:msgInfo (Results 1 – 21 of 21) sorted by relevance

/seL4-master/libsel4/arch_include/arm/sel4/arch/
A Dsyscalls.h20 LIBSEL4_INLINE_FUNC void seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Send() argument
28 arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], in seL4_SendWithMRs()
44 arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], in seL4_NBSendWithMRs()
53 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
58 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
61 arm_sys_reply(seL4_SysReply, msgInfo.words[0], in seL4_ReplyWithMRs()
197 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
200 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
203 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_CallWithMRs()
206 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_CallWithMRs()
[all …]
/seL4-master/libsel4/arch_include/riscv/sel4/arch/
A Dsyscalls.h203 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], in seL4_SendWithMRs()
222 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], in seL4_NBSendWithMRs()
232 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
238 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
241 riscv_sys_reply(seL4_SysReply, msgInfo.words[0], in seL4_ReplyWithMRs()
395 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
398 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
401 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_CallWithMRs()
404 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_CallWithMRs()
482 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_ReplyRecvWithMRs()
[all …]
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
A Dsyscalls.h24 LIBSEL4_INLINE_FUNC void seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Send() argument
32 x64_sys_send(seL4_SysSend, dest, msgInfo.words[0], in seL4_SendWithMRs()
48 x64_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], in seL4_NBSendWithMRs()
57 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
62 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
65 x64_sys_reply(seL4_SysReply, msgInfo.words[0], in seL4_ReplyWithMRs()
278 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
281 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
284 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_CallWithMRs()
287 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_CallWithMRs()
[all …]
/seL4-master/src/arch/arm/
A Dc_traps.c127 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall() argument
133 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
143 void VISIBLE c_handle_fastpath_call(word_t cptr, word_t msgInfo) in ALIGN()
149 benchmark_debug_syscall_start(cptr, msgInfo, SysCall); in ALIGN()
153 fastpath_call(cptr, msgInfo); in ALIGN()
159 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in ALIGN()
161 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo) in ALIGN()
168 benchmark_debug_syscall_start(cptr, msgInfo, SysReplyRecv); in ALIGN()
173 fastpath_reply_recv(cptr, msgInfo, reply); in ALIGN()
175 fastpath_reply_recv(cptr, msgInfo); in ALIGN()
/seL4-master/src/arch/riscv/
A Dc_traps.c171 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in ALIGN()
173 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo) in ALIGN()
180 benchmark_debug_syscall_start(cptr, msgInfo, SysReplyRecv); in ALIGN()
184 fastpath_reply_recv(cptr, msgInfo, reply); in ALIGN()
186 fastpath_reply_recv(cptr, msgInfo); in ALIGN()
192 void VISIBLE c_handle_fastpath_call(word_t cptr, word_t msgInfo) in ALIGN()
198 benchmark_debug_syscall_start(cptr, msgInfo, SysCall); in ALIGN()
202 fastpath_call(cptr, msgInfo); in ALIGN()
208 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall() argument
214 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A Dsyscalls.h380 LIBSEL4_INLINE_FUNC void seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Send() argument
395 LIBSEL4_INLINE_FUNC void seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_NBSend() argument
411 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
413 x86_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1)); in seL4_Reply()
416 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
593 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
598 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
659 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_ReplyRecvWithMRs()
664 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_ReplyRecvWithMRs()
719 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_NBSendRecvWithMRs()
[all …]
/seL4-master/libsel4/include/sel4/
A Dsyscalls_mcs.h27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
71 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
86 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
114 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply);
168 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_…
193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender);
A Dsyscalls_master.h27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
70 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
84 seL4_Reply(seL4_MessageInfo_t msgInfo);
98 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
123 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender);
/seL4-master/include/arch/riscv/arch/kernel/
A Dtraps.h24 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply)
26 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo)
30 void c_handle_fastpath_call(word_t cptr, word_t msgInfo)
33 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
/seL4-master/include/arch/arm/arch/kernel/
A Dtraps.h25 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
29 void c_handle_fastpath_call(word_t cptr, word_t msgInfo)
33 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply)
35 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo)
/seL4-master/src/arch/x86/
A Dc_traps.c145 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) in c_handle_syscall() argument
147 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall()
161 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
175 fastpath_call(cptr, msgInfo); in c_handle_syscall()
179 fastpath_reply_recv(cptr, msgInfo, reply); in c_handle_syscall()
181 fastpath_reply_recv(cptr, msgInfo); in c_handle_syscall()
/seL4-master/include/arch/arm/arch/64/mode/fastpath/
A Dfastpath.h73 fastpath_mi_check(word_t msgInfo) in fastpath_mi_check() argument
75 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > 4; in fastpath_mi_check()
99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore() argument
110 register word_t msgInfo_reg asm("x1") = msgInfo; in fastpath_restore()
/seL4-master/src/fastpath/
A Dfastpath.c22 void NORETURN fastpath_call(word_t cptr, word_t msgInfo) in fastpath_call() argument
37 info = messageInfoFromWord_raw(msgInfo); in fastpath_call()
43 if (unlikely(fastpath_mi_check(msgInfo) || in fastpath_call()
217 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0)); in fastpath_call()
219 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread)); in fastpath_call()
227 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in fastpath_reply_recv() argument
229 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo) in fastpath_reply_recv()
247 info = messageInfoFromWord_raw(msgInfo); in fastpath_reply_recv()
253 if (unlikely(fastpath_mi_check(msgInfo) || in fastpath_reply_recv()
487 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0)); in fastpath_reply_recv()
[all …]
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A Dfastpath.h116 fastpath_mi_check(word_t msgInfo) in fastpath_mi_check() argument
118 return ((msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) in fastpath_mi_check()
122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore() argument
210 "S"(msgInfo), in fastpath_restore()
254 "S"(msgInfo) in fastpath_restore()
/seL4-master/include/arch/x86/arch/32/mode/fastpath/
A Dfastpath.h88 static inline int fastpath_mi_check(word_t msgInfo) in fastpath_mi_check() argument
90 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > seL4_FastMessageRegisters; in fastpath_mi_check()
93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore() argument
130 "S"(msgInfo), in fastpath_restore()
/seL4-master/include/arch/arm/arch/32/mode/fastpath/
A Dfastpath.h88 fastpath_mi_check(word_t msgInfo) in fastpath_mi_check() argument
90 return ((msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) in fastpath_mi_check()
115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore() argument
130 register word_t msgInfo_reg asm("r1") = msgInfo; in fastpath_restore()
/seL4-master/include/arch/riscv/arch/fastpath/
A Dfastpath.h73 fastpath_mi_check(word_t msgInfo) in fastpath_mi_check() argument
75 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > 4; in fastpath_mi_check()
97 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore() argument
116 register word_t msgInfo_reg asm("a1") = msgInfo; in fastpath_restore()
/seL4-master/include/arch/x86/arch/kernel/
A Dtraps.h28 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply)
30 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
/seL4-master/include/benchmark/
A Dbenchmark_track.h50 static inline void benchmark_debug_syscall_start(word_t cptr, word_t msgInfo, word_t syscall) in benchmark_debug_syscall_start() argument
52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); in benchmark_debug_syscall_start()
/seL4-master/src/kernel/
A Dthread.c231 seL4_MessageInfo_t msgInfo; in doFaultTransfer() local
234 msgInfo = seL4_MessageInfo_new( in doFaultTransfer()
236 setRegister(receiver, msgInfoRegister, wordFromMessageInfo(msgInfo)); in doFaultTransfer()
/seL4-master/src/arch/x86/64/
A Dtraps.S609 push %rsi # save RSI (msgInfo register)
653 push %rsi # save RSI (msgInfo register)

Completed in 29 milliseconds