ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 08:03:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox6: adjust TPR handling according to HMVMXR0

Browse Source 
Issue #4313
This commit is contained in:
Alexander Boettcher 2021-11-01 14:07:52 +01:00 committed by Christian Helmuth
parent 33bf926b50
commit 00eadf9791
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/src/virtualbox6/sup_vcpu.cc
View File

@ -254,8 +254,6 @@ template <typename VIRT> void Sup::Vcpu_impl<VIRT>::_transfer_state_to_vcpu(CPUM
const uint8_t tpr_priority = (tpr >> 4) & 0xf;
if (pending_priority <= tpr_priority)
state.tpr_threshold.charge(pending_priority);
else
state.tpr_threshold.charge(tpr_priority);
}
/* export FPU state */
@ -563,6 +561,8 @@ typename Sup::Vcpu_impl<T>::Current_state Sup::Vcpu_impl<T>::_handle_irq_window(
if (RT_SUCCESS(rc)) {
rc = TRPMAssertTrap(pVCpu, irq, TRPM_HARDWARE_INT);
Assert(RT_SUCCESS(rc));
} else if (rc == VERR_APIC_INTR_MASKED_BY_TPR) {
state.tpr_threshold.charge(irq >> 4);
}
}