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