diff --git a/hypervisor/arch/x86/virq.c b/hypervisor/arch/x86/virq.c index bd2538c93..7c06a431c 100644 --- a/hypervisor/arch/x86/virq.c +++ b/hypervisor/arch/x86/virq.c @@ -402,7 +402,8 @@ int32_t acrn_handle_pending_request(struct acrn_vcpu *vcpu) flush_vpid_single(arch->vpid); } - if (bitmap_test_and_clear_lock(ACRN_REQUEST_TMR_UPDATE, pending_req_bits)) { vioapic_update_tmr(vcpu); + if (bitmap_test_and_clear_lock(ACRN_REQUEST_TMR_UPDATE, pending_req_bits)) { + vioapic_update_tmr(vcpu); } /* handling cancelled event injection when vcpu is switched out */