From 74238b7db2a72ccad31264f50a1c2d3be0b05d4e Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sat, 18 Jul 2015 16:55:12 +0200
Subject: yyy more general locks, crashes, maybe b/c interrupt handler

---
 kern/processor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/processor.c')

diff --git a/kern/processor.c b/kern/processor.c
index 48e9273..a7c3fbf 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -155,7 +155,7 @@ void pset_init(
 	simple_lock_init(&pset->ref_lock);
 	queue_init(&pset->all_psets);
 	pset->active = FALSE;
-	simple_lock_init(&pset->lock);
+	pset_lock_init (pset);
 	pset->pset_self = IP_NULL;
 	pset->pset_name_self = IP_NULL;
 	pset->max_priority = BASEPRI_USER;
-- 
cgit v1.2.3