| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/ |
| H A D | read_global_array.c | 20 setMR(tcb_t *receiver, word_t* receiveIPCBuffer, argument
24 if (receiveIPCBuffer) {
25 receiveIPCBuffer[offset + 1] = reg;
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/api/ |
| H A D | faults.c | 39 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, ipa);
49 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
51 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
53 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
55 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
62 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX,
65 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX, -1);
68 return setMR(receiver, receiveIPCBuffer, seL4_VCPUFault_HSR, seL4_Fault_VCPUFault_get_hsr(sender->tcbFault));
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/api/ |
| H A D | faults.c | 43 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
48 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
50 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
52 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
|
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | faults.c | 31 setMRs_lookup_failure(tcb_t *receiver, word_t* receiveIPCBuffer, argument
37 i = setMR(receiver, receiveIPCBuffer, offset, lufType + 1);
54 return setMR(receiver, receiveIPCBuffer, offset + 1,
58 setMR(receiver, receiveIPCBuffer, offset + 1,
60 return setMR(receiver, receiveIPCBuffer, offset + 2,
64 setMR(receiver, receiveIPCBuffer, offset + 1,
66 setMR(receiver, receiveIPCBuffer, offset + 2,
68 return setMR(receiver, receiveIPCBuffer, offset + 3,
104 word_t length, word_t *receiveIPCBuffer)
111 if (receiveIPCBuffer) {
103 copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length, word_t *receiveIPCBuffer) argument
192 setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | faults.h | 18 word_t setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer);
19 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
| H A D | faults.c | 31 Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word_t faultType) argument
35 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
36 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
38 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
40 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | tcb.h | 34 setMR(tcb_t *receiver, word_t* receiveIPCBuffer, argument
38 if (receiveIPCBuffer) {
39 receiveIPCBuffer[offset + 1] = reg;
142 word_t setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer);
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 1658 setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer) argument
1662 return setMR(thread, receiveIPCBuffer, 0,
1666 return setMR(thread, receiveIPCBuffer, 0,
1673 setMR(thread, receiveIPCBuffer, 0,
1675 return setMR(thread, receiveIPCBuffer, 1,
1682 setMR(thread, receiveIPCBuffer, 0,
1684 return setMRs_lookup_failure(thread, receiveIPCBuffer,
1692 return setMR(thread, receiveIPCBuffer, 0,
|