portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

x86,SMP: Fix compile errors

Browse source 
Introduced by the previous commit of PR #1641:

x86,SMP: Fix VMCheckBoundNotification IPI handling

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic 2026-05-21 12:48:25 +01:00
parent c8ae3010bc
commit e7121974af
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/arch/x86/object/vcpu.c
View file

@ -1329,7 +1329,7 @@ exception_t handleVmexit(void)
/* the basic exit reason is the bottom 16 bits of the exit reason field */
reason = vmread(VMX_DATA_EXIT_REASON) & MASK(16);
if (reason == EXTERNAL_INTERRUPT) {
NODE_LOCK_IRQ();
NODE_LOCK_IRQ;
if (vmx_feature_ack_on_exit) {
interrupt = vmread(VMX_DATA_EXIT_INTERRUPT_INFO) & 0xff;
ARCH_NODE_STATE(x86KScurInterrupt) = interrupt;
@ -1339,7 +1339,9 @@ exception_t handleVmexit(void)
* up to restore_user_context */
receivePendingIRQ();
}
#ifdef ENABLE_SMP_SUPPORT
VMCheckBoundNotification(NODE_STATE(ksCurThread));
#endif
return EXCEPTION_NONE;
}