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