1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 ARM Ltd.
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
7 #ifndef __ASM_ARM_KVM_ARCH_TIMER_H
8 #define __ASM_ARM_KVM_ARCH_TIMER_H
10 #include <linux/clocksource.h>
11 #include <linux/hrtimer.h>
13 enum kvm_arch_timers {
17 TIMER_HVTIMER = NR_KVM_EL0_TIMERS,
22 enum kvm_arch_timer_regs {
30 struct arch_timer_offset {
32 * If set, pointer to one of the offsets in the kvm's offset
33 * structure. If NULL, assume a zero offset.
37 * If set, pointer to one of the offsets in the vcpu's sysreg
38 * array. If NULL, assume a zero offset.
43 struct arch_timer_vm_data {
44 /* Offset applied to the virtual timer/counter */
46 /* Offset applied to the physical timer/counter */
49 /* The PPI for each timer, global to the VM */
50 u8 ppi[NR_KVM_TIMERS];
53 struct arch_timer_context {
54 struct kvm_vcpu *vcpu;
56 /* Emulated Timer (may be unused) */
57 struct hrtimer hrtimer;
60 /* Offset for this counter/timer */
61 struct arch_timer_offset offset;
63 * We have multiple paths which can save/restore the timer state onto
64 * the hardware, so we need some way of keeping track of where the
69 /* Output level of the timer IRQ */
74 /* Duplicated state from arch_timer.c for convenience */
79 struct arch_timer_context *direct_vtimer;
80 struct arch_timer_context *direct_ptimer;
81 struct arch_timer_context *emul_vtimer;
82 struct arch_timer_context *emul_ptimer;
85 struct arch_timer_cpu {
86 struct arch_timer_context timers[NR_KVM_TIMERS];
88 /* Background timer used when the guest is not running */
89 struct hrtimer bg_timer;
91 /* Is the timer enabled */
95 int __init kvm_timer_hyp_init(bool has_gic);
96 int kvm_timer_enable(struct kvm_vcpu *vcpu);
97 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
98 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
99 void kvm_timer_sync_user(struct kvm_vcpu *vcpu);
100 bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
101 void kvm_timer_update_run(struct kvm_vcpu *vcpu);
102 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
104 void kvm_timer_init_vm(struct kvm *kvm);
106 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
107 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
109 int kvm_arm_timer_set_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
110 int kvm_arm_timer_get_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
111 int kvm_arm_timer_has_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
113 u64 kvm_phys_timer_read(void);
115 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
116 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
118 void kvm_timer_init_vhe(void);
120 #define vcpu_timer(v) (&(v)->arch.timer_cpu)
121 #define vcpu_get_timer(v,t) (&vcpu_timer(v)->timers[(t)])
122 #define vcpu_vtimer(v) (&(v)->arch.timer_cpu.timers[TIMER_VTIMER])
123 #define vcpu_ptimer(v) (&(v)->arch.timer_cpu.timers[TIMER_PTIMER])
124 #define vcpu_hvtimer(v) (&(v)->arch.timer_cpu.timers[TIMER_HVTIMER])
125 #define vcpu_hptimer(v) (&(v)->arch.timer_cpu.timers[TIMER_HPTIMER])
127 #define arch_timer_ctx_index(ctx) ((ctx) - vcpu_timer((ctx)->vcpu)->timers)
129 #define timer_vm_data(ctx) (&(ctx)->vcpu->kvm->arch.timer_data)
130 #define timer_irq(ctx) (timer_vm_data(ctx)->ppi[arch_timer_ctx_index(ctx)])
132 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
133 enum kvm_arch_timers tmr,
134 enum kvm_arch_timer_regs treg);
135 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,
136 enum kvm_arch_timers tmr,
137 enum kvm_arch_timer_regs treg,
140 /* Needed for tracing */
141 u32 timer_get_ctl(struct arch_timer_context *ctxt);
142 u64 timer_get_cval(struct arch_timer_context *ctxt);
144 /* CPU HP callbacks */
145 void kvm_timer_cpu_up(void);
146 void kvm_timer_cpu_down(void);