started the sound blaster audio driver
[bootcensus] / src / timer.h
index 86de220..b71e62f 100644 (file)
@@ -18,7 +18,10 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 #ifndef _TIMER_H_
 #define _TIMER_H_
 
-unsigned long nticks;
+#define MSEC_TO_TICKS(ms)      ((ms) * TICK_FREQ_HZ / 1000)
+#define TICKS_TO_MSEC(tk)      ((tk) * 1000 / TICK_FREQ_HZ)
+
+volatile unsigned long nticks;
 
 void init_timer(void);