1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2019 Western Digital Corporation or its affiliates.
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 */
32 /* Flag to check if sstc is enabled or not */
34 /* A function pointer to switch between stimecmp or hrtimer at runtime */
35 int (*timer_next_event)(struct kvm_vcpu *vcpu, u64 ncycles);
38 int kvm_riscv_vcpu_timer_next_event(struct kvm_vcpu *vcpu, u64 ncycles);
39 int kvm_riscv_vcpu_get_reg_timer(struct kvm_vcpu *vcpu,
40 const struct kvm_one_reg *reg);
41 int kvm_riscv_vcpu_set_reg_timer(struct kvm_vcpu *vcpu,
42 const struct kvm_one_reg *reg);
43 int kvm_riscv_vcpu_timer_init(struct kvm_vcpu *vcpu);
44 int kvm_riscv_vcpu_timer_deinit(struct kvm_vcpu *vcpu);
45 int kvm_riscv_vcpu_timer_reset(struct kvm_vcpu *vcpu);
46 void kvm_riscv_vcpu_timer_restore(struct kvm_vcpu *vcpu);
47 void kvm_riscv_guest_timer_init(struct kvm *kvm);
48 void kvm_riscv_vcpu_timer_sync(struct kvm_vcpu *vcpu);
49 void kvm_riscv_vcpu_timer_save(struct kvm_vcpu *vcpu);
50 bool kvm_riscv_vcpu_timer_pending(struct kvm_vcpu *vcpu);