diff --git a/src/include/platform/platform.h b/src/include/platform/platform.h
index b36c471..a0709b4 100644
--- a/src/include/platform/platform.h
+++ b/src/include/platform/platform.h
@@ -62,4 +62,4 @@ int platformConfigureIRQ(Thread *, int, IRQHandler *);  // configure an IRQ pin
 IRQCommand *platformGetIRQCommand();    // per-CPU IRQ command structure
 void platformIdle();            // to be called when the CPU is idle
 void platformCleanThread(void *, uintptr_t);   // garbage collector after thread is killed or replaced by exec()
-int platformSendSignal(Thread *, Thread *, int);
+int platformSendSignal(Thread *, Thread *, int, uintptr_t);