From 4fd5beca8970c7920b511dcfdd66dc526b34d21a Mon Sep 17 00:00:00 2001
From: Tormod Volden <debian.tormod@gmail.com>
Date: Wed, 22 Apr 2015 22:47:25 +0200
Subject: [PATCH] process.c: Signal masks are 32 bit

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>
---
 Kernel/process.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel/process.c b/Kernel/process.c
index ffcce80b..0388f1cc 100644
--- 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);
-- 
2.34.1