Lines Matching refs:seL4_GetMR
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_FLAGS),
33 seL4_GetMR(seL4_UnknownSyscall_Syscall));
36 return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
37 seL4_GetMR(seL4_UserException_SP),
38 seL4_GetMR(seL4_UserException_FLAGS),
39 seL4_GetMR(seL4_UserException_Number),
40 seL4_GetMR(seL4_UserException_Code));
42 return seL4_Fault_VMFault_new(seL4_GetMR(seL4_VMFault_IP),
43 seL4_GetMR(seL4_VMFault_Addr),
44 seL4_GetMR(seL4_VMFault_PrefetchFault),
45 seL4_GetMR(seL4_VMFault_FSR));
47 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
48 seL4_GetMR(seL4_Timeout_Consumed_HighBits),
49 seL4_GetMR(seL4_Timeout_Consumed_LowBits));