1 /* 2 * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef ARCH_TIMER_H 6 #define ARCH_TIMER_H 7 8 void arch_timer_init(void); 9 10 #endif /* ARCH_TIMER_H */ 11