2007-07-06 11:20:49 +02: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 10:02:48 +01:00
|
|
|
#include <linux/kvm_host.h>
|
2007-07-06 11:20:49 +02:00
|
|
|
|
|
|
|
#include "irq.h"
|
2008-01-27 22:10:22 +01:00
|
|
|
#include "i8254.h"
|
2007-07-06 11:20:49 +02:00
|
|
|
|
2008-04-11 19:53:26 +02: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 11:20:49 +02:00
|
|
|
/*
|
|
|
|
* check if there is pending interrupt without
|
|
|
|
* intack.
|
|
|
|
*/
|
|
|
|
int kvm_cpu_has_interrupt(struct kvm_vcpu *v)
|
|
|
|
{
|
2007-09-12 09:58:04 +02:00
|
|
|
struct kvm_pic *s;
|
|
|
|
|
|
|
|
if (kvm_apic_has_interrupt(v) == -1) { /* LAPIC */
|
2007-09-17 08:47:13 +02:00
|
|
|
if (kvm_apic_accept_pic_intr(v)) {
|
|
|
|
s = pic_irqchip(v->kvm); /* PIC */
|
|
|
|
return s->output;
|
|
|
|
} else
|
|
|
|
return 0;
|
2007-09-12 09:58:04 +02:00
|
|
|
}
|
|
|
|
return 1;
|
2007-07-06 11:20:49 +02: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 09:58:04 +02:00
|
|
|
struct kvm_pic *s;
|
2007-07-06 11:20:49 +02:00
|
|
|
int vector;
|
|
|
|
|
2007-09-12 09:58:04 +02:00
|
|
|
vector = kvm_get_apic_interrupt(v); /* APIC */
|
|
|
|
if (vector == -1) {
|
2007-09-17 08:47:13 +02:00
|
|
|
if (kvm_apic_accept_pic_intr(v)) {
|
|
|
|
s = pic_irqchip(v->kvm);
|
|
|
|
s->output = 0; /* PIC */
|
2008-07-26 22:01:00 +02:00
|
|
|
vector = kvm_pic_read_irq(v->kvm);
|
2007-09-17 08:47:13 +02:00
|
|
|
}
|
2007-09-12 09:58:04 +02:00
|
|
|
}
|
|
|
|
return vector;
|
2007-07-06 11:20:49 +02:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_cpu_get_interrupt);
|
2007-09-12 09:58:04 +02:00
|
|
|
|
2007-09-03 15:56:58 +02:00
|
|
|
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
kvm_inject_apic_timer_irqs(vcpu);
|
2008-01-27 22:10:22 +01:00
|
|
|
kvm_inject_pit_timer_irqs(vcpu);
|
2007-09-03 15:56:58 +02:00
|
|
|
/* TODO: PIT, RTC etc. */
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs);
|
|
|
|
|
|
|
|
void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec)
|
|
|
|
{
|
|
|
|
kvm_apic_timer_intr_post(vcpu, vec);
|
|
|
|
/* TODO: PIT, RTC etc. */
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(kvm_timer_intr_post);
|
2008-05-27 17:10:20 +02:00
|
|
|
|
|
|
|
void __kvm_migrate_timers(struct kvm_vcpu *vcpu)
|
|
|
|
{
|
|
|
|
__kvm_migrate_apic_timer(vcpu);
|
|
|
|
__kvm_migrate_pit_timer(vcpu);
|
|
|
|
}
|