Lines Matching refs:seL4_GetMR
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_A6),
42 seL4_GetMR(seL4_UnknownSyscall_Syscall));
45 return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
46 seL4_GetMR(seL4_UserException_SP),
47 seL4_GetMR(seL4_UserException_FLAGS),
48 seL4_GetMR(seL4_UserException_Number),
49 seL4_GetMR(seL4_UserException_Code));
51 return seL4_Fault_VMFault_new(seL4_GetMR(seL4_VMFault_IP),
52 seL4_GetMR(seL4_VMFault_Addr),
53 seL4_GetMR(seL4_VMFault_PrefetchFault),
54 seL4_GetMR(seL4_VMFault_FSR));