From 4ee903cf506353ca0e6efec23a5538c241231807 Mon Sep 17 00:00:00 2001
From: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Date: Thu, 14 May 2026 10:55:12 +1000
Subject: [PATCH] syscall xml: only define DebugSendIPI when SMP

The actual libsel4 wrappers and kernel code only ever exists
when CONFIG_ENABLE_SMP_SUPPORT exists, so there's no point
also defining the syscall code as well.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
---
 libsel4/include/api/syscall.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/libsel4/include/api/syscall.xml b/libsel4/include/api/syscall.xml
index 48a32e127..5b62ac24e 100644
--- a/libsel4/include/api/syscall.xml
+++ b/libsel4/include/api/syscall.xml
@@ -50,7 +50,12 @@
             <syscall name="DebugNameThread"/>
         </config>
         <config>
-            <condition><config var="CONFIG_DEBUG_BUILD"/></condition>
+            <condition>
+                <and>
+                    <config var="CONFIG_DEBUG_BUILD"/>
+                    <config var="CONFIG_ENABLE_SMP_SUPPORT"/>
+                </and>
+            </condition>
             <syscall name="DebugSendIPI"/>
         </config>
         <config>