Searched refs:vgic_poke_irq (Results 1 – 1 of 1) sorted by relevance
130 static void vgic_poke_irq(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu, in vgic_poke_irq() function164 vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISPENDR); in kvm_irq_write_ispendr()169 vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISACTIVER); in kvm_irq_write_isactiver()