annotate cos/kernel/timer.c @ 279:2ccd57b1d78c

Fix register allocator to do burn2 OK
author Windel Bouwman
date Sat, 12 Oct 2013 09:56:23 +0200
parents 8012221dd740
children
rev   line source
24
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
1 #include "kernel.h"
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
2
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
3 static uint64_t ticks = 0;
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
4
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
5 void timerDriverUpdate()
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
6 {
28
47b7df514243 Moved Makefiles
windel
parents: 25
diff changeset
7 ticks++;
47b7df514243 Moved Makefiles
windel
parents: 25
diff changeset
8 task_scheduler();
24
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
9 }
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
10
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
11 uint64_t getTimeMS()
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
12 {
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
13 return 55*ticks;
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
14 }
d8627924d40d Split up in more files and reboot command
windel
parents:
diff changeset
15
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 28
diff changeset
16 void timer_init()
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 28
diff changeset
17 {
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 28
diff changeset
18 ticks = 0;
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 28
diff changeset
19 }
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 28
diff changeset
20