1/*
2 * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.
3 * Copyright 2004-2010, Axel D��rfler, axeld@pinc-software.de.
4 * Distributed under the terms of the MIT License.
5 *
6 * Copyright 2001, Travis Geiselbrecht. All rights reserved.
7 * Distributed under the terms of the NewOS License.
8*/
9
10
11#include "timer.h"
12
13#include <string.h>
14#include <KernelExport.h>
15
16#include "arch_timer.h"
17
18
19//#define TRACE_TIMER
20#ifdef TRACE_TIMER
21#	define TRACE(x) dprintf x
22#else
23#	define TRACE(x) ;
24#endif
25
26
27void
28timer_init(void)
29{
30	arch_timer_init();
31}
32