1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #include <common/types.h> 13 14 u64 tick_per_us; 15 plat_timer_init(void)16void plat_timer_init(void) 17 { 18 } 19 plat_set_next_timer(u64 tick_delta)20void plat_set_next_timer(u64 tick_delta) 21 { 22 } 23 plat_handle_timer_irq(u64 tick_delta)24void plat_handle_timer_irq(u64 tick_delta) 25 { 26 } 27 plat_disable_timer(void)28void plat_disable_timer(void) 29 { 30 } 31 plat_enable_timer(void)32void plat_enable_timer(void) 33 { 34 } 35 plat_get_mono_time(void)36u64 plat_get_mono_time(void) 37 { 38 return 0; 39 } 40 plat_get_current_tick(void)41u64 plat_get_current_tick(void) 42 { 43 return 0; 44 } 45