.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * irq.c: API for in kernel interrupt controller |
---|
3 | 4 | * Copyright (c) 2007, Intel Corporation. |
---|
4 | 5 | * Copyright 2009 Red Hat, Inc. and/or its affiliates. |
---|
5 | 6 | * |
---|
6 | | - * This program is free software; you can redistribute it and/or modify it |
---|
7 | | - * under the terms and conditions of the GNU General Public License, |
---|
8 | | - * version 2, as published by the Free Software Foundation. |
---|
9 | | - * |
---|
10 | | - * This program is distributed in the hope it will be useful, but WITHOUT |
---|
11 | | - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
---|
12 | | - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
---|
13 | | - * more details. |
---|
14 | | - * |
---|
15 | | - * You should have received a copy of the GNU General Public License along with |
---|
16 | | - * this program; if not, write to the Free Software Foundation, Inc., 59 Temple |
---|
17 | | - * Place - Suite 330, Boston, MA 02111-1307 USA. |
---|
18 | 7 | * Authors: |
---|
19 | 8 | * Yaozu (Eddie) Dong <Eddie.dong@intel.com> |
---|
20 | | - * |
---|
21 | 9 | */ |
---|
22 | 10 | |
---|
23 | 11 | #include <linux/export.h> |
---|
.. | .. |
---|
93 | 81 | |
---|
94 | 82 | return kvm_apic_has_interrupt(v) != -1; /* LAPIC */ |
---|
95 | 83 | } |
---|
| 84 | +EXPORT_SYMBOL_GPL(kvm_cpu_has_injectable_intr); |
---|
96 | 85 | |
---|
97 | 86 | /* |
---|
98 | 87 | * check if there is pending interrupt without |
---|
.. | .. |
---|
154 | 143 | { |
---|
155 | 144 | __kvm_migrate_apic_timer(vcpu); |
---|
156 | 145 | __kvm_migrate_pit_timer(vcpu); |
---|
| 146 | + if (kvm_x86_ops.migrate_timers) |
---|
| 147 | + kvm_x86_ops.migrate_timers(vcpu); |
---|
157 | 148 | } |
---|
158 | 149 | |
---|
159 | 150 | bool kvm_arch_irqfd_allowed(struct kvm *kvm, struct kvm_irqfd *args) |
---|