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