Lines Matching refs:seL4_GetMR
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_R10),
35 seL4_GetMR(seL4_UnknownSyscall_R11),
36 seL4_GetMR(seL4_UnknownSyscall_R12),
37 seL4_GetMR(seL4_UnknownSyscall_R13),
38 seL4_GetMR(seL4_UnknownSyscall_R14),
39 seL4_GetMR(seL4_UnknownSyscall_R15),
40 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
41 seL4_GetMR(seL4_UnknownSyscall_SP),
42 seL4_GetMR(seL4_UnknownSyscall_FLAGS),
43 seL4_GetMR(seL4_UnknownSyscall_Syscall));
46 return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
47 seL4_GetMR(seL4_UserException_SP),
48 seL4_GetMR(seL4_UserException_FLAGS),
49 seL4_GetMR(seL4_UserException_Number),
50 seL4_GetMR(seL4_UserException_Code));
52 return seL4_Fault_VMFault_new(seL4_GetMR(seL4_VMFault_IP),
53 seL4_GetMR(seL4_VMFault_Addr),
54 seL4_GetMR(seL4_VMFault_PrefetchFault),
55 seL4_GetMR(seL4_VMFault_FSR));
57 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
58 seL4_GetMR(seL4_Timeout_Consumed));