Commit | Line | Data |
---|---|---|
53e72406 MZ |
1 | /* |
2 | * Copyright (C) 2012 ARM Ltd. | |
3 | * Author: Marc Zyngier <marc.zyngier@arm.com> | |
4 | * | |
5 | * This program is free software; you can redistribute it and/or modify | |
6 | * it under the terms of the GNU General Public License version 2 as | |
7 | * published by the Free Software Foundation. | |
8 | * | |
9 | * This program is distributed in the hope that it will be useful, | |
10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | * GNU General Public License for more details. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License | |
15 | * along with this program; if not, write to the Free Software | |
16 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
17 | */ | |
18 | ||
19 | #ifndef __ASM_ARM_KVM_ARCH_TIMER_H | |
20 | #define __ASM_ARM_KVM_ARCH_TIMER_H | |
21 | ||
22 | #include <linux/clocksource.h> | |
23 | #include <linux/hrtimer.h> | |
24 | #include <linux/workqueue.h> | |
25 | ||
26 | struct arch_timer_kvm { | |
53e72406 MZ |
27 | /* Is the timer enabled */ |
28 | bool enabled; | |
29 | ||
30 | /* Virtual offset */ | |
31 | cycle_t cntvoff; | |
53e72406 MZ |
32 | }; |
33 | ||
34 | struct arch_timer_cpu { | |
53e72406 MZ |
35 | /* Registers: control register, timer value */ |
36 | u32 cntv_ctl; /* Saved/restored */ | |
37 | cycle_t cntv_cval; /* Saved/restored */ | |
38 | ||
39 | /* | |
40 | * Anything that is not used directly from assembly code goes | |
41 | * here. | |
42 | */ | |
43 | ||
44 | /* Background timer used when the guest is not running */ | |
45 | struct hrtimer timer; | |
46 | ||
47 | /* Work queued with the above timer expires */ | |
48 | struct work_struct expired; | |
49 | ||
50 | /* Background timer active */ | |
51 | bool armed; | |
52 | ||
53 | /* Timer IRQ */ | |
4b4b4512 | 54 | struct kvm_irq_level irq; |
f120cd65 MZ |
55 | |
56 | /* VGIC mapping */ | |
57 | struct irq_phys_map *map; | |
9b4a3004 MZ |
58 | |
59 | /* Active IRQ state caching */ | |
60 | bool active_cleared_last; | |
53e72406 MZ |
61 | }; |
62 | ||
53e72406 | 63 | int kvm_timer_hyp_init(void); |
05971120 CD |
64 | void kvm_timer_enable(struct kvm *kvm); |
65 | void kvm_timer_init(struct kvm *kvm); | |
f120cd65 MZ |
66 | int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu, |
67 | const struct kvm_irq_level *irq); | |
53e72406 MZ |
68 | void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu); |
69 | void kvm_timer_flush_hwstate(struct kvm_vcpu *vcpu); | |
70 | void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu); | |
71 | void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu); | |
1df08ba0 AB |
72 | |
73 | u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid); | |
74 | int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value); | |
75 | ||
1a748478 | 76 | bool kvm_timer_should_fire(struct kvm_vcpu *vcpu); |
d35268da CD |
77 | void kvm_timer_schedule(struct kvm_vcpu *vcpu); |
78 | void kvm_timer_unschedule(struct kvm_vcpu *vcpu); | |
1a748478 | 79 | |
9b4a3004 MZ |
80 | void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu); |
81 | ||
53e72406 | 82 | #endif |