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
14struct 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
22struct 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
38int kvm_riscv_vcpu_timer_next_event(struct kvm_vcpu *vcpu, u64 ncycles);
39int kvm_riscv_vcpu_get_reg_timer(struct kvm_vcpu *vcpu,
40				 const struct kvm_one_reg *reg);
41int kvm_riscv_vcpu_set_reg_timer(struct kvm_vcpu *vcpu,
42				 const struct kvm_one_reg *reg);
43int kvm_riscv_vcpu_timer_init(struct kvm_vcpu *vcpu);
44int kvm_riscv_vcpu_timer_deinit(struct kvm_vcpu *vcpu);
45int kvm_riscv_vcpu_timer_reset(struct kvm_vcpu *vcpu);
46void kvm_riscv_vcpu_timer_restore(struct kvm_vcpu *vcpu);
47void kvm_riscv_guest_timer_init(struct kvm *kvm);
48void kvm_riscv_vcpu_timer_sync(struct kvm_vcpu *vcpu);
49void kvm_riscv_vcpu_timer_save(struct kvm_vcpu *vcpu);
50bool kvm_riscv_vcpu_timer_pending(struct kvm_vcpu *vcpu);
51
52#endif
53