From 2f1b0708b3d8702a5e3201914ddc219c9a78eb2b Mon Sep 17 00:00:00 2001
From: Bill Nguyen <bill.nguyen@unsw.edu.au>
Date: Fri, 22 May 2026 10:17:15 +1000
Subject: [PATCH] x86_64/c_traps.c: fix compile error

Fix compile error from #1667.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
---
 src/arch/x86/64/c_traps.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86/64/c_traps.c b/src/arch/x86/64/c_traps.c
index 6a66c1f4c..97ede8dba 100644
--- a/src/arch/x86/64/c_traps.c
+++ b/src/arch/x86/64/c_traps.c
@@ -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;