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