modified process_server for clustering
authorakshay <akshay87@vt.edu>
Wed, 28 May 2014 05:44:51 +0000 (01:44 -0400)
committerakshay <akshay87@vt.edu>
Wed, 28 May 2014 05:44:51 +0000 (01:44 -0400)
kernel/process_server.c

index 358c2f2..c1f5d68 100644 (file)
@@ -8603,8 +8603,11 @@ static int __init process_server_init(void) {
     /*
      * Cache some local information.
      */
-    _cpu = smp_processor_id();
-
+#ifndef SUPPORT_FOR_CLUSTERING
+      _cpu= smp_processor_id();
+ #else
+      _cpu= cpumask_first(cpu_present_mask);
+ #endif
     /*
      * Init global semaphores
      */