Searched refs:setMR (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/api/
H A Dfaults.c47 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 Dfaults.c47 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 Dfaults.c37 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 Dsyscall.c150 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 Dread_global_array.c20 setMR(tcb_t *receiver, word_t* receiveIPCBuffer, function
/seL4-l4v-10.1.1/seL4/src/arch/x86/api/
H A Dfaults.c35 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 Dvspace_32paging.c239 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 Dvcpu.c658 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 Dtcb.c440 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 Dtcb.h34 setMR(tcb_t *receiver, word_t* receiveIPCBuffer, function
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c579 unsigned int length = setMR(thread, ipcBuffer, 0, value);

Completed in 101 milliseconds