| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 434 seL4_MessageInfo_t info; in seL4_Recv() local
460 seL4_MessageInfo_t info; in seL4_RecvWithMRs() local
490 seL4_MessageInfo_t info; in seL4_NBRecv() local
512 seL4_MessageInfo_t info; in seL4_Wait() local
530 seL4_MessageInfo_t info; in seL4_WaitWithMRs() local
549 seL4_MessageInfo_t info; in seL4_NBWait() local
567 seL4_MessageInfo_t info; in seL4_Call() local
589 seL4_MessageInfo_t info; in seL4_CallWithMRs() local
624 seL4_MessageInfo_t info; in seL4_ReplyRecv() local
654 seL4_MessageInfo_t info; in seL4_ReplyRecvWithMRs() local
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4… in x64_sys_send()
46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL… in x64_sys_reply()
70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) in x64_sys_send_null()
115 …c inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, in x64_sys_send_recv()
153 …seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_o… in x64_sys_nbsend_recv()
|
| A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4… in x64_sys_send()
48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL… in x64_sys_reply()
73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) in x64_sys_send_null()
120 …c inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, in x64_sys_send_recv()
160 …seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_o… in x64_sys_nbsend_recv()
|
| A D | syscalls.h | 85 seL4_MessageInfo_t info; in seL4_Recv() local
114 seL4_MessageInfo_t info; in seL4_RecvWithMRs() local
149 seL4_MessageInfo_t info; in seL4_NBRecv() local
173 seL4_MessageInfo_t info; in seL4_Wait() local
197 seL4_MessageInfo_t info; in seL4_WaitWithMRs() local
228 seL4_MessageInfo_t info; in seL4_NBWait() local
253 seL4_MessageInfo_t info; in seL4_Call() local
272 seL4_MessageInfo_t info; in seL4_CallWithMRs() local
316 seL4_MessageInfo_t info; in seL4_ReplyRecv() local
348 seL4_MessageInfo_t info; in seL4_ReplyRecvWithMRs() local
[all …]
|
| /seL4-master/include/benchmark/ |
| A D | benchmark_track.h | 52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); in benchmark_debug_syscall_start() local
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 82 seL4_MessageInfo_t info; in seL4_Recv() local
111 seL4_MessageInfo_t info; in seL4_RecvWithMRs() local
147 seL4_MessageInfo_t info; in seL4_NBRecv() local
170 seL4_MessageInfo_t info; in seL4_Call() local
190 seL4_MessageInfo_t info; in seL4_CallWithMRs() local
236 seL4_MessageInfo_t info; in seL4_ReplyRecv() local
276 seL4_MessageInfo_t info; in seL4_ReplyRecvWithMRs() local
325 seL4_MessageInfo_t info; in seL4_NBSendRecv() local
359 seL4_MessageInfo_t info; in seL4_NBSendRecvWithMRs() local
407 seL4_MessageInfo_t info; in seL4_NBSendWait() local
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 262 seL4_MessageInfo_t info; in seL4_Recv() local
292 seL4_MessageInfo_t info; in seL4_RecvWithMRs() local
328 seL4_MessageInfo_t info; in seL4_NBRecv() local
352 seL4_MessageInfo_t info; in seL4_Call() local
389 seL4_MessageInfo_t info; in seL4_CallWithMRs() local
434 seL4_MessageInfo_t info; in seL4_ReplyRecv() local
475 seL4_MessageInfo_t info; in seL4_ReplyRecvWithMRs() local
524 seL4_MessageInfo_t info; in seL4_NBSendRecv() local
559 seL4_MessageInfo_t info; in seL4_NBSendRecvWithMRs() local
608 seL4_MessageInfo_t info; in seL4_NBSendWait() local
[all …]
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 24 seL4_MessageInfo_t info; in fastpath_call() local
232 seL4_MessageInfo_t info; in fastpath_reply_recv() local
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | hardware.c | 103 rdmsr_safe_result_t info = x86_rdmsr_safe(IA32_PLATFORM_INFO_MSR); in tsc_init() local
|
| /seL4-master/libsel4/include/sel4/ |
| A D | faults.h | 77 seL4_MessageInfo_t info = seL4_MessageInfo_new(!resume, 0, 0, length); in seL4_TimeoutReply_new() local
|
| /seL4-master/src/api/ |
| A D | syscall.c | 367 seL4_MessageInfo_t info; in handleInvocation() local
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 241 static seL4_MessageInfo_t transferCaps(seL4_MessageInfo_t info, in transferCaps()
|
| /seL4-master/tools/ |
| A D | lex.py | 108 info = critical variable in PlyLogger
|
| /seL4-master/src/object/ |
| A D | tcb.c | 384 exception_t lookupExtraCaps(tcb_t *thread, word_t *bufferPtr, seL4_MessageInfo_t info) in lookupExtraCaps()
|