/seL4-l4v-10.1.1/seL4/src/arch/arm/api/ |
H A D | faults.c | 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 | 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 | 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, 196 setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender)); 197 setMR(receiver, receiveIPCBuffer, seL4_CapFault_Addr, 199 setMR(receive [all...] |
H A D | syscall.c | 150 setMR(NODE_STATE(ksCurThread), NULL, 0, val & 0xffffffff); 151 setMR(NODE_STATE(ksCurThread), NULL, 1, val >> 32); 154 setMR(NODE_STATE(ksCurThread), NULL, 0, val);
|
/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, function
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
H A D | faults.c | 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/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 239 setMR(NODE_STATE(ksCurThread), buffer, 0, pde_pde_large_ptr_get_accessed(pdSlot.pdSlot)); 240 setMR(NODE_STATE(ksCurThread), buffer, 1, pde_pde_large_ptr_get_dirty(pdSlot.pdSlot)); 246 setMR(NODE_STATE(ksCurThread), buffer, 0, pte_ptr_get_accessed(ptSlot.ptSlot)); 247 setMR(NODE_STATE(ksCurThread), buffer, 1, pte_ptr_get_dirty(ptSlot.ptSlot));
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | vcpu.c | 658 setMR(thread, buffer, 0, value); 794 setMR(thread, buffer, 0, readVMCSField(vcpu, field)); 962 setMR(tcb, buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP)); 963 setMR(tcb, buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR, vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS)); 965 setMR(tcb, buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO)); 1103 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP)); 1104 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR, vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS)); 1105 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO)); 1106 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_REASON_MR, reason); 1107 setMR(NODE_STAT [all...] |
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | tcb.c | 440 setMR(NODE_STATE(ksCurThread), buffer, 0, false); 443 setMR(NODE_STATE(ksCurThread), buffer, 0, bp_was_consumed); 605 setMR(NODE_STATE(ksCurThread), buffer, 0, res.vaddr); 606 setMR(NODE_STATE(ksCurThread), buffer, 1, res.type); 607 setMR(NODE_STATE(ksCurThread), buffer, 2, res.size); 608 setMR(NODE_STATE(ksCurThread), buffer, 3, res.rw); 609 setMR(NODE_STATE(ksCurThread), buffer, 4, res.is_enabled); 1662 return setMR(thread, receiveIPCBuffer, 0, 1666 return setMR(thread, receiveIPCBuffer, 0, 1673 setMR(threa [all...] |
/seL4-l4v-10.1.1/seL4/include/object/ |
H A D | tcb.h | 34 setMR(tcb_t *receiver, word_t* receiveIPCBuffer, function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | vcpu.c | 579 unsigned int length = setMR(thread, ipcBuffer, 0, value);
|