/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | faults.h | 25 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 D | mapping.h | 23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | faults.h | 23 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 D | mapping.h | 23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
H A D | syscalls.h | 306 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 D | faults.h | 32 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 D | mapping.h | 24 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | faults.h | 32 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 D | mapping.h | 30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | faults.h | 25 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 D | mapping.h | 23 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
H A D | syscalls.h | 29 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 D | faults.h | 23 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 D | mapping.h | 30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | faults.h | 23 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 D | mapping.h | 30 return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
|
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | faults.h | 24 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 D | deprecated.h | 69 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 D | syscalls.h | 24 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 D | functions.h | 21 seL4_GetMR(int i) function
|
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 164 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 D | functions.h | 34 seL4_GetMR(int i) function
|
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ |
H A D | functions.h | 20 seL4_GetMR(int i) function
|