annotate kernel/schedule.c3 @ 304:fa99f36fabb5

Fix docs
author Windel Bouwman
date Fri, 06 Dec 2013 12:45:02 +0100
parents 6753763d3bec
children 2e7f55319858
rev   line source
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
1
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
2 module scheduler;
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
3
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
4 import process;
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
5
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
6 var process:process_t *current;
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
7
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
8 function void executeNext()
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
9 {
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
10 var process:process_t *old;
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
11
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
12 if (old != current)
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
13 {
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 296
diff changeset
14 //execute(current);
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
15 }
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
16 }
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents:
diff changeset
17