Searched refs:vgic_hw_irq_cpending (Results 1 – 1 of 1) sorted by relevance
377 static void vgic_hw_irq_cpending(struct kvm_vcpu *vcpu, struct vgic_irq *irq) in vgic_hw_irq_cpending() function431 vgic_hw_irq_cpending(vcpu, irq); in vgic_mmio_write_cpending()