Go to the documentation of this file.
23 #include <linux/module.h>
48 if (!irqchip_in_kernel(v->
kvm))
49 return v->
arch.interrupt.pending;
53 s = pic_irqchip(v->
kvm);
70 if (!irqchip_in_kernel(v->
kvm))
71 return v->
arch.interrupt.nr;
76 s = pic_irqchip(v->
kvm);