Searched refs:seL4_Word (Results 1 - 25 of 85) sorted by relevance

1234

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h26 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 Dsyscalls.h28 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 Dsyscalls_syscall.h21 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 Dsyscalls_sysenter.h21 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 Dsyscalls.h34 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 Dtypes.h19 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 Dtypes.h18 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 Dsyscalls.h33 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 Ddeprecated.h21 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 Dsyscalls.h53 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 Dtypes.h18 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 Dsyscalls.h53 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 Dsyscalls.h53 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 Dtypes.h18 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 Dbenchmark_tracepoints_types.h22 seL4_Word id;
23 seL4_Word duration;
H A Dbenchmark_track_types.h46 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 Dbenchmark_tracepoints_types.h22 seL4_Word id;
23 seL4_Word duration;
H A Dbenchmark_track_types.h46 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 Dbootinfo_types.h39 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 Ddeprecated.h42 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 Dsyscalls.h29 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 Deventto-poll.c12 seL4_Word *badge = get_badge();
/seL4-l4v-10.1.1/seL4/include/api/
H A Dbootinfo_types.h39 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 Dbenchmark.c19 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 Dtypes.h26 typedef seL4_Uint32 seL4_Word; typedef

Completed in 131 milliseconds

1234