#define pr_fmt(fmt) …
#include <linux/export.h>
#include <linux/kvm_host.h>
#include "irq.h"
#include "i8254.h"
#include "x86.h"
#include "xen.h"
int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu)
{ … }
static int pending_userspace_extint(struct kvm_vcpu *v)
{ … }
int kvm_cpu_has_extint(struct kvm_vcpu *v)
{ … }
int kvm_cpu_has_injectable_intr(struct kvm_vcpu *v)
{ … }
EXPORT_SYMBOL_GPL(…);
int kvm_cpu_has_interrupt(struct kvm_vcpu *v)
{ … }
EXPORT_SYMBOL_GPL(…);
static int kvm_cpu_get_extint(struct kvm_vcpu *v)
{ … }
int kvm_cpu_get_interrupt(struct kvm_vcpu *v)
{ … }
EXPORT_SYMBOL_GPL(…);
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu)
{ … }
void __kvm_migrate_timers(struct kvm_vcpu *vcpu)
{ … }
bool kvm_arch_irqfd_allowed(struct kvm *kvm, struct kvm_irqfd *args)
{ … }
bool kvm_arch_irqchip_in_kernel(struct kvm *kvm)
{ … }