]>
Commit | Line | Data |
---|---|---|
85f455f7 ED |
1 | /* |
2 | * irq.c: API for in kernel interrupt controller | |
3 | * Copyright (c) 2007, Intel Corporation. | |
4 | * | |
5 | * This program is free software; you can redistribute it and/or modify it | |
6 | * under the terms and conditions of the GNU General Public License, | |
7 | * version 2, as published by the Free Software Foundation. | |
8 | * | |
9 | * This program is distributed in the hope it will be useful, but WITHOUT | |
10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for | |
12 | * more details. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License along with | |
15 | * this program; if not, write to the Free Software Foundation, Inc., 59 Temple | |
16 | * Place - Suite 330, Boston, MA 02111-1307 USA. | |
17 | * Authors: | |
18 | * Yaozu (Eddie) Dong <Eddie.dong@intel.com> | |
19 | * | |
20 | */ | |
21 | ||
22 | #include <linux/module.h> | |
edf88417 | 23 | #include <linux/kvm_host.h> |
85f455f7 | 24 | |
85f455f7 | 25 | #include "irq.h" |
7837699f | 26 | #include "i8254.h" |
85f455f7 ED |
27 | |
28 | /* | |
29 | * check if there is pending interrupt without | |
30 | * intack. | |
31 | */ | |
32 | int kvm_cpu_has_interrupt(struct kvm_vcpu *v) | |
33 | { | |
97222cc8 ED |
34 | struct kvm_pic *s; |
35 | ||
36 | if (kvm_apic_has_interrupt(v) == -1) { /* LAPIC */ | |
40487c68 QH |
37 | if (kvm_apic_accept_pic_intr(v)) { |
38 | s = pic_irqchip(v->kvm); /* PIC */ | |
39 | return s->output; | |
40 | } else | |
41 | return 0; | |
97222cc8 ED |
42 | } |
43 | return 1; | |
85f455f7 ED |
44 | } |
45 | EXPORT_SYMBOL_GPL(kvm_cpu_has_interrupt); | |
46 | ||
47 | /* | |
48 | * Read pending interrupt vector and intack. | |
49 | */ | |
50 | int kvm_cpu_get_interrupt(struct kvm_vcpu *v) | |
51 | { | |
97222cc8 | 52 | struct kvm_pic *s; |
85f455f7 ED |
53 | int vector; |
54 | ||
97222cc8 ED |
55 | vector = kvm_get_apic_interrupt(v); /* APIC */ |
56 | if (vector == -1) { | |
40487c68 QH |
57 | if (kvm_apic_accept_pic_intr(v)) { |
58 | s = pic_irqchip(v->kvm); | |
59 | s->output = 0; /* PIC */ | |
60 | vector = kvm_pic_read_irq(s); | |
61 | } | |
97222cc8 ED |
62 | } |
63 | return vector; | |
85f455f7 ED |
64 | } |
65 | EXPORT_SYMBOL_GPL(kvm_cpu_get_interrupt); | |
97222cc8 | 66 | |
1b9778da ED |
67 | void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu) |
68 | { | |
69 | kvm_inject_apic_timer_irqs(vcpu); | |
7837699f | 70 | kvm_inject_pit_timer_irqs(vcpu); |
1b9778da ED |
71 | /* TODO: PIT, RTC etc. */ |
72 | } | |
73 | EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs); | |
74 | ||
75 | void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec) | |
76 | { | |
77 | kvm_apic_timer_intr_post(vcpu, vec); | |
7837699f | 78 | kvm_pit_timer_intr_post(vcpu, vec); |
1b9778da ED |
79 | /* TODO: PIT, RTC etc. */ |
80 | } | |
81 | EXPORT_SYMBOL_GPL(kvm_timer_intr_post); |