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
8void arch_timer_init(void);
9
10#endif	/* ARCH_TIMER_H */
11