2007-07-06 17:20:49 +08:00
|
|
|
/*
|
|
|
|
* irq.c: API for in kernel interrupt controller
|
|
|
|
* Copyright (c) 2007, Intel Corporation.
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
|
|
* under the terms and conditions of the GNU General Public License,
|
|
|
|
* version 2, as published by the Free Software Foundation.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
|
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
|
|
* more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License along with
|
|
|
|
* this program; if not, write to the Free Software Foundation, Inc., 59 Temple
|
|
|
|
* Place - Suite 330, Boston, MA 02111-1307 USA.
|
|
|
|
* Authors:
|
|
|
|
* Yaozu (Eddie) Dong <Eddie.dong@intel.com>
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <linux/module.h>
|
2007-12-16 17:02:48 +08:00
|
|
|
#include <linux/kvm_host.h>
|
2007-07-06 17:20:49 +08:00
|
|
|
|
|
|
|
#include "irq.h"
|
2008-01-28 05:10:22 +08:00
|
|
|
#include "i8254.h"
|
2007-07-06 17:20:49 +08:00
|
|
|
|
2008-04-12 01:53:26 +08:00
|
|
|
/*
|
|
|
|
* check if there are pending timer events
|
|
|
|
* to be processed.
|
|
|
|
*/
|
|
|
|
int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
ret = pit_has_pending_timer(vcpu);
|
|
|
|
ret |= apic_has_pending_timer(vcpu);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(kvm_cpu_has_pending_timer);
|
|
|
|
|
2007-07-06 17:20:49 +08:00
|
|
|
/*
|
|
|
|
* check if there is pending interrupt without
|
|
|
|
* intack.
|
|
|
|
*/
|
|
|
|
int kvm_cpu_has_interrupt(struct kvm_vcpu *v)
|
|
|
|
{
|
2007-09-12 15:58:04 +08:00
|
|
|
struct kvm_pic *s;
|
|
|
|
|
|
|
|
if (kvm_apic_has_interrupt(v) == -1) { /* LAPIC */
|
2007-09-17 14:47:13 +08:00
|
|
|
if (kvm_apic_accept_pic_intr(v)) {
|
|
|
|
s = pic_irqchip(v->kvm); /* PIC */
|
|
|
|
return s->output;
|
|
|
|
} else
|
|
|
|
return 0;
|
2007-09-12 15:58:04 +08:00
|
|
|
}
|
|
|
|
return 1;
|
2007-07-06 17:20:49 +08:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_cpu_has_interrupt);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Read pending interrupt vector and intack.
|
|
|
|
*/
|
|
|
|
int kvm_cpu_get_interrupt(struct kvm_vcpu *v)
|
|
|
|
{
|
2007-09-12 15:58:04 +08:00
|
|
|
struct kvm_pic *s;
|
2007-07-06 17:20:49 +08:00
|
|
|
int vector;
|
|
|
|
|
2007-09-12 15:58:04 +08:00
|
|
|
vector = kvm_get_apic_interrupt(v); /* APIC */
|
|
|
|
if (vector == -1) {
|
2007-09-17 14:47:13 +08:00
|
|
|
if (kvm_apic_accept_pic_intr(v)) {
|
|
|
|
s = pic_irqchip(v->kvm);
|
|
|
|
s->output = 0; /* PIC */
|
2008-07-27 04:01:00 +08:00
|
|
|
vector = kvm_pic_read_irq(v->kvm);
|
2007-09-17 14:47:13 +08:00
|
|
|
}
|
2007-09-12 15:58:04 +08:00
|
|
|
}
|
|
|
|
return vector;
|
2007-07-06 17:20:49 +08:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_cpu_get_interrupt);
|
2007-09-12 15:58:04 +08:00
|
|
|
|
2007-09-03 21:56:58 +08:00
|
|
|
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
kvm_inject_apic_timer_irqs(vcpu);
|
2008-01-28 05:10:22 +08:00
|
|
|
kvm_inject_pit_timer_irqs(vcpu);
|
2007-09-03 21:56:58 +08:00
|
|
|
/* TODO: PIT, RTC etc. */
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs);
|
|
|
|
|
2008-05-27 23:10:20 +08:00
|
|
|
void __kvm_migrate_timers(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
__kvm_migrate_apic_timer(vcpu);
|
|
|
|
__kvm_migrate_pit_timer(vcpu);
|
|
|
|
}
|