1/* 2** Copyright 2004, The Haiku Team. All rights reserved. 3** Distributed under the terms of the MIT License. 4*/ 5#ifndef KERNEL_ARCH_TIMER_H 6#define KERNEL_ARCH_TIMER_H 7 8#include <SupportDefs.h> 9 10struct kernel_args; 11 12#ifdef __cplusplus 13extern "C" { 14#endif 15 16extern void arch_timer_set_hardware_timer(bigtime_t timeout); 17extern void arch_timer_clear_hardware_timer(void); 18extern int arch_init_timer(struct kernel_args *args); 19 20#ifdef __cplusplus 21} 22#endif 23 24#endif /* KERNEL_ARCH_TIMER_H */ 25