From c0824db8f176b3a2528a0c2b7da305beb72b5c96 Mon Sep 17 00:00:00 2001
From: Tomoki Shirasawa <sira@popeye.cc.u-tokyo.ac.jp>
Date: Wed, 8 May 2013 13:27:36 +0900
Subject: [PATCH] FIX Bug 3 - Wrong results of sched_getaffinity (mask)

---
 kernel/syscall.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/syscall.c b/kernel/syscall.c
index eedfdab9..693ceac2 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -1055,7 +1055,7 @@ SYSCALL_DECLARE(sched_getaffinity)
 
 	CPU_ZERO_S(min_len, mask);
 	for (cpu_id = 0; cpu_id < min_ncpus; ++cpu_id)
-		CPU_SET_S(min_len, cpu_id, mask);
+		CPU_SET_S(cpu_info->hw_ids[cpu_id], min_len, mask);
 
     //	dkprintf("sched_getaffinity returns full mask\n");