target/riscv/time_helper.h

   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