# HG changeset patch
# User Gorka Guardiola <paurea@gmail.com>
# Date 1326836017 28800
# Node ID 731d41fbe3944407ff5d96f2987bc25bbc21f993
# Parent  8d84f339223733993701709da97178a91b0fdd3b
main: make the initial number of tcs configurable

R=nixiedev, rminnich
CC=nix-dev
http://codereview.appspot.com/5542053

Committer: John Floren <john@jfloren.net>

diff -r 8d84f3392237 -r 731d41fbe394 sys/src/nix/k10/main.c
--- a/sys/src/nix/k10/main.c	Tue Jan 17 13:30:04 2012 -0800
+++ b/sys/src/nix/k10/main.c	Tue Jan 17 13:33:37 2012 -0800
@@ -7,10 +7,7 @@
 #include "init.h"
 #include "io.h"
 
-enum
-{
-	InitialTCs = 32	/* default # of TCs */
-};
+static int	initialTCs = 32;	/* default # of TCs */
 
 Conf conf;			/* XXX - must go - gag */
 
@@ -74,6 +71,11 @@
 	vflag = dbgflg['v'];
 	if(argc > 0){
 		maxcores = strtol(argv[0], 0, 0);
+		argc--;
+		argv++;
+	}
+	if(argc > 0){
+		initialTCs = strtol(argv[0], 0, 0);
 		//argc--;
 		//argv++;
 	}
@@ -206,7 +208,7 @@
 			 */
 			mp->icc = mallocalign(sizeof *m->icc, ICCLNSZ, 0, 0);
 			mp->icc->fn = nil;
-			if(i < InitialTCs){
+			if(i < initialTCs){
 				conf.nmach++;
 				mp->nixtype = NIXTC;
 			}
@@ -338,6 +340,7 @@
 	 */
 	i8259init(32);
 
+
 	procinit0();
 	mpsinit(maxcores);
 	apiconline();
@@ -355,6 +358,7 @@
 	userinit();
 	nixsquids();
 testiccs();	
+print("schedinit...\n");
 	schedinit();
 }