annotate cos/kernel/timer.c @ 30:0148f55bfe24

Added static asserts and fixed pages
author windel
date Thu, 29 Dec 2011 23:51:35 +0100
parents 47b7df514243
children 8012221dd740
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