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
{
19 enum kvm_arch_timer_regs
{
26 struct arch_timer_context
{
27 struct kvm_vcpu
*vcpu
;
30 struct kvm_irq_level irq
;
32 /* Emulated Timer (may be unused) */
33 struct hrtimer hrtimer
;
36 * We have multiple paths which can save/restore the timer state onto
37 * the hardware, so we need some way of keeping track of where the
42 /* Duplicated state from arch_timer.c for convenience */
44 u32 host_timer_irq_flags
;
48 struct arch_timer_context
*direct_vtimer
;
49 struct arch_timer_context
*direct_ptimer
;
50 struct arch_timer_context
*emul_ptimer
;
53 struct arch_timer_cpu
{
54 struct arch_timer_context timers
[NR_KVM_TIMERS
];
56 /* Background timer used when the guest is not running */
57 struct hrtimer bg_timer
;
59 /* Is the timer enabled */
63 int kvm_timer_hyp_init(bool);
64 int kvm_timer_enable(struct kvm_vcpu
*vcpu
);
65 int kvm_timer_vcpu_reset(struct kvm_vcpu
*vcpu
);
66 void kvm_timer_vcpu_init(struct kvm_vcpu
*vcpu
);
67 void kvm_timer_sync_user(struct kvm_vcpu
*vcpu
);
68 bool kvm_timer_should_notify_user(struct kvm_vcpu
*vcpu
);
69 void kvm_timer_update_run(struct kvm_vcpu
*vcpu
);
70 void kvm_timer_vcpu_terminate(struct kvm_vcpu
*vcpu
);
72 u64
kvm_arm_timer_get_reg(struct kvm_vcpu
*, u64 regid
);
73 int kvm_arm_timer_set_reg(struct kvm_vcpu
*, u64 regid
, u64 value
);
75 int kvm_arm_timer_set_attr(struct kvm_vcpu
*vcpu
, struct kvm_device_attr
*attr
);
76 int kvm_arm_timer_get_attr(struct kvm_vcpu
*vcpu
, struct kvm_device_attr
*attr
);
77 int kvm_arm_timer_has_attr(struct kvm_vcpu
*vcpu
, struct kvm_device_attr
*attr
);
79 bool kvm_timer_is_pending(struct kvm_vcpu
*vcpu
);
81 u64
kvm_phys_timer_read(void);
83 void kvm_timer_vcpu_load(struct kvm_vcpu
*vcpu
);
84 void kvm_timer_vcpu_put(struct kvm_vcpu
*vcpu
);
86 void kvm_timer_init_vhe(void);
88 bool kvm_arch_timer_get_input_level(int vintid
);
90 #define vcpu_timer(v) (&(v)->arch.timer_cpu)
91 #define vcpu_get_timer(v,t) (&vcpu_timer(v)->timers[(t)])
92 #define vcpu_vtimer(v) (&(v)->arch.timer_cpu.timers[TIMER_VTIMER])
93 #define vcpu_ptimer(v) (&(v)->arch.timer_cpu.timers[TIMER_PTIMER])
95 #define arch_timer_ctx_index(ctx) ((ctx) - vcpu_timer((ctx)->vcpu)->timers)
97 u64
kvm_arm_timer_read_sysreg(struct kvm_vcpu
*vcpu
,
98 enum kvm_arch_timers tmr
,
99 enum kvm_arch_timer_regs treg
);
100 void kvm_arm_timer_write_sysreg(struct kvm_vcpu
*vcpu
,
101 enum kvm_arch_timers tmr
,
102 enum kvm_arch_timer_regs treg
,
105 /* Needed for tracing */
106 u32
timer_get_ctl(struct arch_timer_context
*ctxt
);
107 u64
timer_get_cval(struct arch_timer_context
*ctxt
);