process.c: Signal masks are 32 bit

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/process.c b/Kernel/process.c
index ffcce80..0388f1c 100644 (file)
--- a/Kernel/process.c
+++ b/Kernel/process.c
@@ -481,7 +481,7 @@ void chksigs(void)
  */
 void ssig(ptptr proc, uint16_t sig)
 {
-       uint16_t sigm;
+       uint32_t sigm;
        irqflags_t irq;
 
        sigm = sigmask(sig);