From b936a31581bd6d315da5fa6d12aeab7876d9b2fd Mon Sep 17 00:00:00 2001
From: jewelcodes <omarmelghoul01@gmail.com>
Date: Tue, 26 Nov 2024 17:37:03 -0500
Subject: [PATCH] platform: redeclared prototype for arch-specific signal
 mechanism

---
 src/include/platform/platform.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);