|
@@ -1666,7 +1666,7 @@ int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,
|
|
|
* kvm_vgic_inject_mapped_irq - Inject a physically mapped IRQ to the vgic
|
|
|
* @kvm: The VM structure pointer
|
|
|
* @cpuid: The CPU for PPIs
|
|
|
- * @map: Pointer to a irq_phys_map structure describing the mapping
|
|
|
+ * @virt_irq: The virtual IRQ to be injected
|
|
|
* @level: Edge-triggered: true: to trigger the interrupt
|
|
|
* false: to ignore the call
|
|
|
* Level-sensitive true: raise the input signal
|
|
@@ -1677,7 +1677,7 @@ int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,
|
|
|
* being HIGH and 0 being LOW and all devices being active-HIGH.
|
|
|
*/
|
|
|
int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid,
|
|
|
- struct irq_phys_map *map, bool level)
|
|
|
+ unsigned int virt_irq, bool level)
|
|
|
{
|
|
|
int ret;
|
|
|
|
|
@@ -1685,7 +1685,7 @@ int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid,
|
|
|
if (ret)
|
|
|
return ret;
|
|
|
|
|
|
- return vgic_update_irq_pending(kvm, cpuid, map->virt_irq, level);
|
|
|
+ return vgic_update_irq_pending(kvm, cpuid, virt_irq, level);
|
|
|
}
|
|
|
|
|
|
static irqreturn_t vgic_maintenance_handler(int irq, void *data)
|