/*
 * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef ARCH_TIMER_H
#define ARCH_TIMER_H

void arch_timer_init(void);

#endif  /* ARCH_TIMER_H */