1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2019 Western Digital Corporation or its affiliates.
6 * Atish Patra <atish.patra@wdc.com>
9 #ifndef __KVM_VCPU_RISCV_TIMER_H
10 #define __KVM_VCPU_RISCV_TIMER_H
12 #include <linux/hrtimer.h>
14 struct kvm_guest_timer {
15 /* Mult & Shift values to get nanoseconds from cycles */
18 /* Time delta value */
22 struct kvm_vcpu_timer {
23 /* Flag for whether init is done */
25 /* Flag for whether timer event is configured */
27 /* Next timer event cycles */
29 /* Underlying hrtimer instance */
33 int kvm_riscv_vcpu_timer_next_event(struct kvm_vcpu *vcpu, u64 ncycles);
34 int kvm_riscv_vcpu_get_reg_timer(struct kvm_vcpu *vcpu,
35 const struct kvm_one_reg *reg);
36 int kvm_riscv_vcpu_set_reg_timer(struct kvm_vcpu *vcpu,
37 const struct kvm_one_reg *reg);
38 int kvm_riscv_vcpu_timer_init(struct kvm_vcpu *vcpu);
39 int kvm_riscv_vcpu_timer_deinit(struct kvm_vcpu *vcpu);
40 int kvm_riscv_vcpu_timer_reset(struct kvm_vcpu *vcpu);
41 void kvm_riscv_vcpu_timer_restore(struct kvm_vcpu *vcpu);
42 int kvm_riscv_guest_timer_init(struct kvm *kvm);