diff options
| author | Miguel <m.i@gmx.at> | 2018-08-18 16:20:26 +0200 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2018-08-18 16:20:26 +0200 |
| commit | 639c3d47b09114628f8e1f8817c27c10bf1fb28c (patch) | |
| tree | f0381de25cc8f2de96a87b47cc76f7d09548bf7e /kernel/timer.h | |
| parent | 7b0d88b2dff9b635d9ff69f6d51b6832c1ca4c40 (diff) | |
reviving old drivers: mouse, pci, e1000
Diffstat (limited to 'kernel/timer.h')
| -rw-r--r-- | kernel/timer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/timer.h b/kernel/timer.h index 57ea21e..a39d433 100644 --- a/kernel/timer.h +++ b/kernel/timer.h @@ -3,3 +3,4 @@ void timer_init(); void timer_tick(); uint64_t timer_get_ticks(); +uint64_t timer_get_uptime_ms(); |