| /seL4-master/src/api/ |
| A D | faults.c | 52 return setMR(receiver, receiveIPCBuffer, offset + 1, in setMRs_lookup_failure()
56 setMR(receiver, receiveIPCBuffer, offset + 1, in setMRs_lookup_failure()
58 return setMR(receiver, receiveIPCBuffer, offset + 2, in setMRs_lookup_failure()
62 setMR(receiver, receiveIPCBuffer, offset + 1, in setMRs_lookup_failure()
64 setMR(receiver, receiveIPCBuffer, offset + 2, in setMRs_lookup_failure()
66 return setMR(receiver, receiveIPCBuffer, offset + 3, in setMRs_lookup_failure()
107 if (receiveIPCBuffer) { in copyMRsFault()
205 receiveIPCBuffer); in setMRs_fault()
237 setMR(receiver, receiveIPCBuffer, in setMRs_fault()
243 ret = setMR(receiver, receiveIPCBuffer, in setMRs_fault()
[all …]
|
| /seL4-master/src/arch/arm/api/ |
| A D | faults.c | 33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault() argument
41 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, ipa); in Arch_setMRs_fault()
43 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender)); in Arch_setMRs_fault()
45 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr, in Arch_setMRs_fault()
47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault, in Arch_setMRs_fault()
49 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR, in Arch_setMRs_fault()
56 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX, in Arch_setMRs_fault()
59 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX, -1); in Arch_setMRs_fault()
62 …return setMR(receiver, receiveIPCBuffer, seL4_VCPUFault_HSR, seL4_Fault_VCPUFault_get_hsr(sender->… in Arch_setMRs_fault()
64 …return setMR(receiver, receiveIPCBuffer, seL4_VPPIEvent_IRQ, seL4_Fault_VPPIEvent_get_irq_w(sender… in Arch_setMRs_fault()
|
| /seL4-master/src/arch/riscv/api/ |
| A D | faults.c | 31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault() argument
35 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender)); in Arch_setMRs_fault()
36 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr, in Arch_setMRs_fault()
38 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault, in Arch_setMRs_fault()
40 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR, in Arch_setMRs_fault()
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault() argument
28 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender)); in Arch_setMRs_fault()
29 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr, in Arch_setMRs_fault()
31 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault, in Arch_setMRs_fault()
33 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR, in Arch_setMRs_fault()
|
| /seL4-master/include/api/ |
| A D | faults.h | 12 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer);
13 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType…
|
| /seL4-master/include/object/ |
| A D | tcb.h | 28 static inline unsigned int setMR(tcb_t *receiver, word_t *receiveIPCBuffer, in setMR() argument
32 if (receiveIPCBuffer) { in setMR()
33 receiveIPCBuffer[offset + 1] = reg; in setMR()
221 word_t setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer);
|
| /seL4-master/src/object/ |
| A D | tcb.c | 2045 word_t setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer) in setMRs_syscall_error() argument
2049 return setMR(thread, receiveIPCBuffer, 0, in setMRs_syscall_error()
2053 return setMR(thread, receiveIPCBuffer, 0, in setMRs_syscall_error()
2060 setMR(thread, receiveIPCBuffer, 0, in setMRs_syscall_error()
2062 return setMR(thread, receiveIPCBuffer, 1, in setMRs_syscall_error()
2069 setMR(thread, receiveIPCBuffer, 0, in setMRs_syscall_error()
2071 return setMRs_lookup_failure(thread, receiveIPCBuffer, in setMRs_syscall_error()
2079 return setMR(thread, receiveIPCBuffer, 0, in setMRs_syscall_error()
|