spawnd: reorganized code to eliminate duplicate get_core_id() call.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 16:16:28 +0000 (17:16 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 16:16:28 +0000 (17:16 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

usr/spawnd/main.c

index 5abf90d..321edf4 100644 (file)
@@ -102,13 +102,11 @@ int main(int argc, const char *argv[])
 {
     errval_t err;
 
-    printf("spawnd.%u up.\n", get_my_core_id());
+    my_core_id = disp_get_core_id();
 
+    printf("spawnd.%u up.\n", my_core_id);
 
     vfs_init();
-    
-    my_core_id = disp_get_core_id();
-
 
     // read in the bootmodules file so that we know what to start
     get_bootmodules();