diff options
| author | Miguel <m.i@gmx.at> | 2018-09-10 04:13:28 +0200 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2018-09-10 04:13:28 +0200 |
| commit | 65f5cca027af81e77b3e06da658b6d13f1861a03 (patch) | |
| tree | 4e1aa57b8d4dedb00beb649992054faf6f24ff40 /driver/timer.c | |
| parent | 67e7f93fc2ea9c6d04698f9af29be78d0123afb0 (diff) | |
fixing paging / per cpu pages
Diffstat (limited to 'driver/timer.c')
| -rw-r--r-- | driver/timer.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/timer.c b/driver/timer.c index 1ceebc5..34e7637 100644 --- a/driver/timer.c +++ b/driver/timer.c @@ -1,3 +1,4 @@ +#include "kernel.h" #include "timer.h" #include "asm_x86.h" @@ -153,6 +154,7 @@ uint64_t timer_init() uint64_t epoch_time=get_rtc_time(); task_system_clock_start=epoch_time*25; // since pit ticks 25times a second asm_pit_rate_40ms(); + fixme("pit rate does not work anymore 1/25 seconds??" ); return epoch_time; } |