diff --git a/cpukit/score/cpu/x86_64/cpu.c b/cpukit/score/cpu/x86_64/cpu.c
index 7d82c3783a..725358c811 100644
--- a/cpukit/score/cpu/x86_64/cpu.c
+++ b/cpukit/score/cpu/x86_64/cpu.c
@@ -43,6 +43,7 @@
 
 void _CPU_Exception_frame_print(const CPU_Exception_frame *ctx)
 {
+  (void) ctx;
 }
 
 Context_Control_fp _CPU_Null_fp_context;