2 pcboot - bootable PC demo/game kernel
3 Copyright (C) 2018-2023 John Tsiombikas <nuclear@member.fsf.org>
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY, without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <https://www.gnu.org/licenses/>.
23 #define MSEC_TO_TICKS(ms) ((ms) * TICK_FREQ_HZ / 1000)
24 #define TICKS_TO_MSEC(tk) ((tk) * 1000 / TICK_FREQ_HZ)
26 extern volatile unsigned long nticks;
28 void init_timer(void);
29 void cleanup_timer(void);
32 int sys_sleep(int sec);
33 void sleep(unsigned long msec);
36 /* schedule a function to be called 'msec' milliseconds into the future
37 * warning: this function will be called directly from the timer interrupt, and
38 * must be extremely quick.
40 void set_alarm(unsigned long msec, void (*func)(void));
41 void cancel_alarm(void (*func)(void));
43 #endif /* _TIMER_H_ */