Lines Matching refs:seL4_GetMR
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_SP),
33 seL4_GetMR(seL4_UnknownSyscall_LR),
34 seL4_GetMR(seL4_UnknownSyscall_CPSR),
35 seL4_GetMR(seL4_UnknownSyscall_Syscall));
38 return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
39 seL4_GetMR(seL4_UserException_SP),
40 seL4_GetMR(seL4_UserException_CPSR),
41 seL4_GetMR(seL4_UserException_Number),
42 seL4_GetMR(seL4_UserException_Code));
44 return seL4_Fault_VMFault_new(seL4_GetMR(seL4_VMFault_IP),
45 seL4_GetMR(seL4_VMFault_Addr),
46 seL4_GetMR(seL4_VMFault_PrefetchFault),
47 seL4_GetMR(seL4_VMFault_FSR));
50 return seL4_Fault_VGICMaintenance_new(seL4_GetMR(seL4_VGICMaintenance_IDX));
52 return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_VCPUFault_HSR));
55 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
56 seL4_GetMR(seL4_Timeout_Consumed_HighBits),
57 seL4_GetMR(seL4_Timeout_Consumed_LowBits));