1/*
2 * Copyright 2019, Haiku Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 *
5 * Authors:
6 *		Adrien Destugues <pulkomandy@pulkomandy.tk>
7 */
8
9
10#include <kernel.h>
11#include <debug.h>
12#include <timer.h>
13#include <arch/timer.h>
14
15
16void
17arch_timer_set_hardware_timer(bigtime_t timeout)
18{
19}
20
21
22void
23arch_timer_clear_hardware_timer()
24{
25}
26
27
28int
29arch_init_timer(kernel_args *args)
30{
31	return B_OK;
32}
33
34
35bigtime_t
36system_time(void)
37{
38	// TODO
39	return 0;
40}
41