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 27 void 28 timer_init(void) 29 { 30 arch_timer_init(); 31 } 32