private Processor(int index) { processorIndex = index; if (interruptCounts == null) { interruptCounts = new int [256]; } ProcessorLog = ProcessorLogger.Create("ProcessorLogger:" + index.ToString()); processorCounter = ProcessorCounter.Create("ProcessorCounters:" + index.ToString(), 256); DebugStub.WriteLine("Processor: {0}", __arglist(index)); }