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

x86_64/c_traps.c: fix compile error

Browse source 
Fix compile error from #1667.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
This commit is contained in:
Bill Nguyen 2026-05-22 10:17:15 +10:00 committed by Ivan Velickovic
parent 771c9e43ce
commit 2f1b0708b3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/arch/x86/64/c_traps.c
View file

@ -14,7 +14,7 @@
#include <api/syscall.h>
#ifdef CONFIG_VTX
static void NORETURN vmlaunch_failed(word_t failInvalid, word_t failValid)
static void NORETURN USED vmlaunch_failed(word_t failInvalid, word_t failValid)
{
NODE_LOCK_SYS;