diff --git a/platform/mbed_semihost_api.c b/platform/mbed_semihost_api.c
index ff1c6172f66..06c6777ab8d 100644
--- a/platform/mbed_semihost_api.c
+++ b/platform/mbed_semihost_api.c
@@ -152,10 +152,11 @@ int semihost_connected(void) {
 #endif
 
 int semihost_disabledebug(void) {
+    uint32_t args[1];
 #if !(DEVICE_DEBUG_AWARENESS)
     is_debugger_attached = 0;
 #endif
-    return __semihost(USR_DISABLEDEBUG, NULL);
+    return __semihost(USR_DISABLEDEBUG, &args);
 }
 
 #endif