Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

x86: update deprecated message register define

Browse Source 
Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
This commit is contained in:
Bill Nguyen
2025-12-09 09:51:22 +11:00
committed by Indan Zupancic
parent 704f80b9be
commit 0fec79db4b
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/arch/x86/object/vcpu.c
View File

@@ -1092,7 +1092,8 @@ void vcpu_sysvmenter_reply_to_user(tcb_t *tcb)
setMR(tcb, buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP));
setMR(tcb, buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR, vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS));
setMR(tcb, buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO));
setMR(tcb, buffer, SEL4_VMENTER_CALL_INTERRUPT_INFO_MR,
vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO));
setRegister(tcb, msgInfoRegister, 0);
}
@@ -1242,7 +1243,8 @@ static void setMRs_vmexit(uint32_t reason, word_t qualification)
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP));
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR,
vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS));
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO));
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_INTERRUPT_INFO_MR,
vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO));
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_REASON_MR, reason);
setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_QUALIFICATION_MR, qualification);