/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 26 typedef seL4_Word seL4_CPtr; 33 typedef seL4_Word seL4_NodeId; 34 typedef seL4_Word seL4_PAddr; 35 typedef seL4_Word seL4_Domain; 41 seL4_Word pc; 42 seL4_Word ra; 43 seL4_Word sp; 44 seL4_Word gp; 45 seL4_Word tp; 46 seL4_Word t [all...] |
H A D | syscalls.h | 28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, 29 seL4_Word mr2, seL4_Word mr3) 31 register seL4_Word destptr asm("a0") = dest; 32 register seL4_Word info asm("a1") = info_arg; 35 register seL4_Word msg [all...] |
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) 23 register seL4_Word mr0 asm("r10") = msg0; 24 register seL4_Word mr1 asm("r8") = msg1; 25 register seL4_Word mr [all...] |
H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) 23 register seL4_Word mr0 asm("r10") = msg0; 24 register seL4_Word mr1 asm("r8") = msg1; 25 register seL4_Word mr [all...] |
H A D | syscalls.h | 34 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) 52 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) 70 seL4_Word *mr0, seL4_Word *mr [all...] |
H A D | types.h | 19 typedef seL4_Uint64 seL4_Word; typedef 20 typedef seL4_Word seL4_NodeId; 21 typedef seL4_Word seL4_PAddr; 22 typedef seL4_Word seL4_Domain; 24 typedef seL4_Word seL4_CPtr; 31 seL4_Word rip, rsp, rflags, rax, rbx, rcx, rdx, rsi, rdi, rbp, 33 seL4_Word tls_base;
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | types.h | 18 typedef seL4_Uint32 seL4_Word; typedef 19 typedef seL4_Word seL4_NodeId; 20 typedef seL4_Word seL4_PAddr; 21 typedef seL4_Word seL4_Domain; 23 typedef seL4_Word seL4_CPtr; 28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; 30 seL4_Word tls_base, fs, gs;
|
H A D | syscalls.h | 33 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) 55 x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) 77 x86_sys_send_null(seL4_Word sy [all...] |
H A D | deprecated.h | 21 typedef seL4_Word seL4_UserExceptIPCRegister SEL4_DEPRECATED("use seL4_UserException_Msg"); 30 typedef seL4_Word seL4_ExceptIPCRegister SEL4_DEPRECATED("use seL4_UnknownSyscall_Msg"); 47 seL4_Word fault_ip; 48 seL4_Word esp; 49 seL4_Word eflags; 50 seL4_Word exception_number; 51 seL4_Word exception_code; 53 seL4_Word raw[5]; 58 seL4_Word eax; 59 seL4_Word eb [all...] |
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) 55 register seL4_Word destptr asm("r0") = dest; 56 register seL4_Word info asm("r1") = info_arg; 59 register seL4_Word msg [all...] |
H A D | types.h | 18 typedef seL4_Uint32 seL4_Word; typedef 19 typedef seL4_Word seL4_CPtr; 20 typedef seL4_Word seL4_NodeId; 21 typedef seL4_Word seL4_PAddr; 22 typedef seL4_Word seL4_Domain; 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; 28 seL4_Word r2, r3, r4, r5, r6, r7, r14;
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) 55 register seL4_Word destptr asm("x0") = dest; 56 register seL4_Word info asm("x1") = info_arg; 59 register seL4_Word msg [all...] |
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) 55 register seL4_Word destptr asm("r0") = dest; 56 register seL4_Word info asm("r1") = info_arg; 59 register seL4_Word msg [all...] |
H A D | types.h | 18 typedef seL4_Uint32 seL4_Word; typedef 19 typedef seL4_Word seL4_CPtr; 20 typedef seL4_Word seL4_NodeId; 21 typedef seL4_Word seL4_PAddr; 22 typedef seL4_Word seL4_Domain; 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; 28 seL4_Word r2, r3, r4, r5, r6, r7, r14;
|
/seL4-l4v-10.1.1/seL4/include/benchmark/ |
H A D | benchmark_tracepoints_types.h | 22 seL4_Word id; 23 seL4_Word duration;
|
H A D | benchmark_track_types.h | 46 seL4_Word path: 3; 49 seL4_Word word: 29; 53 seL4_Word syscall_no: 4; 54 seL4_Word cap_type: 5; 55 seL4_Word is_fastpath: 1; 56 seL4_Word invocation_tag: 19;
|
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
H A D | benchmark_tracepoints_types.h | 22 seL4_Word id; 23 seL4_Word duration;
|
H A D | benchmark_track_types.h | 46 seL4_Word path: 3; 49 seL4_Word word: 29; 53 seL4_Word syscall_no: 4; 54 seL4_Word cap_type: 5; 55 seL4_Word is_fastpath: 1; 56 seL4_Word invocation_tag: 19;
|
H A D | bootinfo_types.h | 39 typedef seL4_Word seL4_SlotPos; 47 seL4_Word paddr; /* physical address of untyped cap */ 55 seL4_Word extraLen; /* length of any additional bootinfo information */ 57 seL4_Word numNodes; /* number of seL4 nodes (1 if uniprocessor) */ 58 seL4_Word numIOPTLevels; /* number of IOMMU PT levels (0 if no IOMMU support) */ 66 seL4_Word initThreadCNodeSizeBits; /* initial thread's root CNode size (2^n slots) */ 79 seL4_Word id; 81 seL4_Word len;
|
H A D | deprecated.h | 42 seL4_Word fault_ip; 43 seL4_Word fault_addr; 44 seL4_Word prefetch_fault; 45 seL4_Word fsr; 47 seL4_Word raw[4]; 70 static inline SEL4_DEPRECATED("use seL4_GetMR(seL4_VMFault_IP)") seL4_Word 76 static inline SEL4_DEPRECATED("use seL4_GetMR(seL4_VMFault_Addr)") seL4_Word 82 static inline SEL4_DEPRECATED("use seL4_isVMFault_tag") seL4_Word 88 static inline SEL4_DEPRECATED("use seL4_isVMFault_tag") seL4_Word 94 static inline SEL4_DEPRECATED("use seL4_isUnknownSyscall_tag") seL4_Word [all...] |
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 29 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) 47 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) 65 seL4_Word *mr0, seL4_Word *mr [all...] |
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/ |
H A D | eventto-poll.c | 12 seL4_Word *badge = get_badge();
|
/seL4-l4v-10.1.1/seL4/include/api/ |
H A D | bootinfo_types.h | 39 typedef seL4_Word seL4_SlotPos; 47 seL4_Word paddr; /* physical address of untyped cap */ 55 seL4_Word extraLen; /* length of any additional bootinfo information */ 57 seL4_Word numNodes; /* number of seL4 nodes (1 if uniprocessor) */ 58 seL4_Word numIOPTLevels; /* number of IOMMU PT levels (0 if no IOMMU support) */ 66 seL4_Word initThreadCNodeSizeBits; /* initial thread's root CNode size (2^n slots) */ 79 seL4_Word id; 81 seL4_Word len;
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/benchmark/ |
H A D | benchmark.c | 19 seL4_Word ksLogIndex = 0; 20 seL4_Word ksLogIndexFinalized = 0;
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | types.h | 26 typedef seL4_Uint32 seL4_Word; typedef
|