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

x85, SMP: Fix compile error

Browse source 
GCC 10.2.1 doesn't like declarations inside a case statement without
a new context.

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic 2026-05-28 17:17:53 +01:00
parent c6c84d7aef
commit 87421cf7b2
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/arch/x86/smp/ipi.c
View file

@ -45,7 +45,7 @@ void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg
case IpiRemoteCall_ClearCurrentVCPU:
clearCurrentVCPU();
break;
case IpiRemoteCall_VMCheckBoundNotification:
case IpiRemoteCall_VMCheckBoundNotification: {
tcb_t *tcb = (tcb_t *)arg0;
/* For a running VM notifications are already checked by handleVmexit */
@ -53,6 +53,7 @@ void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg
VMCheckBoundNotification(tcb);
}
break;
}
#endif
default:
Mode_handleRemoteCall((IpiModeRemoteCall_t)call, arg0, arg1, arg2);