/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()
|