Searched refs:seL4_GetMR (Results 1 - 23 of 23) sorted by relevance

/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfaults.h25 return seL4_Fault_UnknownSyscall_new(seL4_GetMR(seL4_UnknownSyscall_X0),
26 seL4_GetMR(seL4_UnknownSyscall_X1),
27 seL4_GetMR(seL4_UnknownSyscall_X2),
28 seL4_GetMR(seL4_UnknownSyscall_X3),
29 seL4_GetMR(seL4_UnknownSyscall_X4),
30 seL4_GetMR(seL4_UnknownSyscall_X5),
31 seL4_GetMR(seL4_UnknownSyscall_X6),
32 seL4_GetMR(seL4_UnknownSyscall_X7),
33 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
34 seL4_GetMR(seL4_UnknownSyscall_S
[all...]
H A Dmapping.h23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h23 return seL4_Fault_UnknownSyscall_new(seL4_GetMR(seL4_UnknownSyscall_EAX),
24 seL4_GetMR(seL4_UnknownSyscall_EBX),
25 seL4_GetMR(seL4_UnknownSyscall_ECX),
26 seL4_GetMR(seL4_UnknownSyscall_EDX),
27 seL4_GetMR(seL4_UnknownSyscall_ESI),
28 seL4_GetMR(seL4_UnknownSyscall_EDI),
29 seL4_GetMR(seL4_UnknownSyscall_EBP),
30 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
31 seL4_GetMR(seL4_UnknownSyscall_SP),
32 seL4_GetMR(seL4_UnknownSyscall_FLAG
[all...]
H A Dmapping.h23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
H A Dsyscalls.h306 x86_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0));
319 x86_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0));
453 seL4_Word mr0 = seL4_GetMR(0);
487 seL4_Word mr0 = seL4_GetMR(0);
530 seL4_Word mr0 = seL4_GetMR(0);
579 seL4_Word mr0 = seL4_GetMR(0);
630 seL4_Word mr0 = seL4_GetMR(0);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h32 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
33 seL4_GetMR(seL4_UnknownSyscall_SP),
34 seL4_GetMR(seL4_UnknownSyscall_RA),
35 seL4_GetMR(seL4_UnknownSyscall_A0),
36 seL4_GetMR(seL4_UnknownSyscall_A1),
37 seL4_GetMR(seL4_UnknownSyscall_A2),
38 seL4_GetMR(seL4_UnknownSyscall_A3),
39 seL4_GetMR(seL4_UnknownSyscall_A4),
40 seL4_GetMR(seL4_UnknownSyscall_A5),
41 seL4_GetMR(seL4_UnknownSyscall_A
[all...]
H A Dmapping.h24 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dfaults.h32 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
33 seL4_GetMR(seL4_UnknownSyscall_SP),
34 seL4_GetMR(seL4_UnknownSyscall_RA),
35 seL4_GetMR(seL4_UnknownSyscall_A0),
36 seL4_GetMR(seL4_UnknownSyscall_A1),
37 seL4_GetMR(seL4_UnknownSyscall_A2),
38 seL4_GetMR(seL4_UnknownSyscall_A3),
39 seL4_GetMR(seL4_UnknownSyscall_A4),
40 seL4_GetMR(seL4_UnknownSyscall_A5),
41 seL4_GetMR(seL4_UnknownSyscall_A
[all...]
H A Dmapping.h30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h25 return seL4_Fault_UnknownSyscall_new(seL4_GetMR(seL4_UnknownSyscall_RAX),
26 seL4_GetMR(seL4_UnknownSyscall_RBX),
27 seL4_GetMR(seL4_UnknownSyscall_RCX),
28 seL4_GetMR(seL4_UnknownSyscall_RDX),
29 seL4_GetMR(seL4_UnknownSyscall_RSI),
30 seL4_GetMR(seL4_UnknownSyscall_RDI),
31 seL4_GetMR(seL4_UnknownSyscall_RBP),
32 seL4_GetMR(seL4_UnknownSyscall_R8),
33 seL4_GetMR(seL4_UnknownSyscall_R9),
34 seL4_GetMR(seL4_UnknownSyscall_R1
[all...]
H A Dmapping.h23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
H A Dsyscalls.h29 x64_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
47 x64_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
235 seL4_Word mr0 = seL4_GetMR(0);
236 seL4_Word mr1 = seL4_GetMR(
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h23 return seL4_Fault_UnknownSyscall_new(seL4_GetMR(seL4_UnknownSyscall_R0),
24 seL4_GetMR(seL4_UnknownSyscall_R1),
25 seL4_GetMR(seL4_UnknownSyscall_R2),
26 seL4_GetMR(seL4_UnknownSyscall_R3),
27 seL4_GetMR(seL4_UnknownSyscall_R4),
28 seL4_GetMR(seL4_UnknownSyscall_R5),
29 seL4_GetMR(seL4_UnknownSyscall_R6),
30 seL4_GetMR(seL4_UnknownSyscall_R7),
31 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
32 seL4_GetMR(seL4_UnknownSyscall_S
[all...]
H A Dmapping.h30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h23 return seL4_Fault_UnknownSyscall_new(seL4_GetMR(seL4_UnknownSyscall_R0),
24 seL4_GetMR(seL4_UnknownSyscall_R1),
25 seL4_GetMR(seL4_UnknownSyscall_R2),
26 seL4_GetMR(seL4_UnknownSyscall_R3),
27 seL4_GetMR(seL4_UnknownSyscall_R4),
28 seL4_GetMR(seL4_UnknownSyscall_R5),
29 seL4_GetMR(seL4_UnknownSyscall_R6),
30 seL4_GetMR(seL4_UnknownSyscall_R7),
31 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
32 seL4_GetMR(seL4_UnknownSyscall_S
[all...]
H A Dmapping.h30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dfaults.h24 return seL4_Fault_CapFault_new(seL4_GetMR(seL4_CapFault_IP),
25 seL4_GetMR(seL4_CapFault_Addr),
26 seL4_GetMR(seL4_CapFault_InRecvPhase),
27 seL4_GetMR(seL4_CapFault_LookupFailureType),
28 seL4_GetMR(seL4_CapFault_BitsLeft),
29 seL4_GetMR(seL4_CapFault_GuardMismatch_GuardFound),
30 seL4_GetMR(seL4_CapFault_GuardMismatch_BitsFound));
33 return seL4_Fault_DebugException_new(seL4_GetMR(seL4_DebugException_FaultIP),
34 seL4_GetMR(seL4_DebugException_ExceptionReason),
35 seL4_GetMR(seL4_DebugException_TriggerAddres
[all...]
H A Ddeprecated.h69 static inline SEL4_DEPRECATED("use seL4_GetMR(seL4_VMFault_IP)") seL4_Word
72 return seL4_GetMR(seL4_VMFault_IP);
75 static inline SEL4_DEPRECATED("use seL4_GetMR(seL4_VMFault_Addr)") seL4_Word
78 return seL4_GetMR(seL4_VMFault_Addr);
99 static inline SEL4_DEPRECATED("use seL4_GetMR") seL4_Word
102 return seL4_GetMR(mr);
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h24 arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
42 arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
149 seL4_Word msg0 = seL4_GetMR(0);
150 seL4_Word msg1 = seL4_GetMR(
[all...]
H A Dfunctions.h21 seL4_GetMR(int i) function
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h164 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1),
165 seL4_GetMR(2), seL4_GetMR(3));
184 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1),
185 seL4_GetMR(2), seL4_GetMR(3));
205 riscv_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(
[all...]
H A Dfunctions.h34 seL4_GetMR(int i) function
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h20 seL4_GetMR(int i) function

Completed in 70 milliseconds