1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * Copyright (C) 2019 Western Digital Corporation or its affiliates.
4 *
5 * Authors:
6 * Atish Patra <atish.patra@wdc.com>
7 */
8
9 #ifndef __KVM_VCPU_RISCV_TIMER_H
10 #define __KVM_VCPU_RISCV_TIMER_H
11
12 #include <linux/hrtimer.h>
13
14 struct kvm_guest_timer {
15 /* Mult & Shift values to get nanoseconds from cycles */
16 u32 nsec_mult;
17 u32 nsec_shift;
18 /* Time delta value */
19 u64 time_delta;
20 };
21
22 struct kvm_vcpu_timer {
23 /* Flag for whether init is done */
24 bool init_done;
25 /* Flag for whether timer event is configured */
26 bool next_set;
27 /* Next timer event cycles */
28 u64 next_cycles;
29 /* Underlying hrtimer instance */
30 struct hrtimer hrt;
31
32 /* Flag to check if sstc is enabled or not */
33 bool sstc_enabled;
34 /* A function pointer to switch between stimecmp or hrtimer at runtime */
35 int (*timer_next_event)(struct kvm_vcpu *vcpu, u64 ncycles);
36 };
37
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);
51
52 #endif
53
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.