1 /* 2 * RISC-V timer header file. 3 * 4 * Copyright (c) 2022 Rivos Inc. 5 * 6 * This program is free software; you can redistribute it and/or modify it 7 * under the terms and conditions of the GNU General Public License, 8 * version 2 or later, as published by the Free Software Foundation. 9 * 10 * This program is distributed in the hope it will be useful, but WITHOUT 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 13 * more details. 14 * 15 * You should have received a copy of the GNU General Public License along with 16 * this program. If not, see <http://www.gnu.org/licenses/>. 17 */ 18 19 #ifndef RISCV_TIME_HELPER_H 20 #define RISCV_TIME_HELPER_H 21 22 #include "cpu.h" 23 #include "qemu/timer.h" 24 25 void riscv_timer_write_timecmp(RISCVCPU *cpu, QEMUTimer *timer, 26 uint64_t timecmp, uint64_t delta, 27 uint32_t timer_irq); 28 void riscv_timer_init(RISCVCPU *cpu); 29 30 #endif 31