]>
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> | |
23 | ||
24 | #include "kvm.h" | |
34c16eec | 25 | #include "x86.h" |
85f455f7 ED |
26 | #include "irq.h" |
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 ED |
66 | |
67 | static void vcpu_kick_intr(void *info) | |
68 | { | |
69 | #ifdef DEBUG | |
70 | struct kvm_vcpu *vcpu = (struct kvm_vcpu *)info; | |
71 | printk(KERN_DEBUG "vcpu_kick_intr %p \n", vcpu); | |
72 | #endif | |
73 | } | |
74 | ||
75 | void kvm_vcpu_kick(struct kvm_vcpu *vcpu) | |
76 | { | |
77 | int ipi_pcpu = vcpu->cpu; | |
78 | ||
b6958ce4 ED |
79 | if (waitqueue_active(&vcpu->wq)) { |
80 | wake_up_interruptible(&vcpu->wq); | |
81 | ++vcpu->stat.halt_wakeup; | |
82 | } | |
97222cc8 ED |
83 | if (vcpu->guest_mode) |
84 | smp_call_function_single(ipi_pcpu, vcpu_kick_intr, vcpu, 0, 0); | |
85 | } | |
86 | ||
1b9778da ED |
87 | void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu) |
88 | { | |
89 | kvm_inject_apic_timer_irqs(vcpu); | |
90 | /* TODO: PIT, RTC etc. */ | |
91 | } | |
92 | EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs); | |
93 | ||
94 | void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec) | |
95 | { | |
96 | kvm_apic_timer_intr_post(vcpu, vec); | |
97 | /* TODO: PIT, RTC etc. */ | |
98 | } | |
99 | EXPORT_SYMBOL_GPL(kvm_timer_intr_post); |