Searched refs:kvm_irq_write_isactiver (Results 1 – 3 of 3) sorted by relevance
32 void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
167 void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu) in kvm_irq_write_isactiver() function
713 kvm_irq_write_isactiver(gic_fd, i, vcpu); in run_guest_cmd()