|
@@ -133,7 +133,7 @@ TYPE Processor = RECORD {ALIGNED (CPU.CacheLineSize)}
|
|
assigning := FALSE: BOOLEAN;
|
|
assigning := FALSE: BOOLEAN;
|
|
originalFramePointer: ADDRESS;
|
|
originalFramePointer: ADDRESS;
|
|
readyQueue: ARRAY Priorities OF Queues.AlignedQueue;
|
|
readyQueue: ARRAY Priorities OF Queues.AlignedQueue;
|
|
- runningActivity: Activity;
|
|
|
|
|
|
+ runningActivity {UNTRACED}: Activity;
|
|
index: SIZE;
|
|
index: SIZE;
|
|
END;
|
|
END;
|
|
|
|
|