Searched refs:kvm_irq_write_ispendr (Results 1 – 3 of 3) sorted by relevance
30 void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
162 void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu) in kvm_irq_write_ispendr() function
594 kvm_irq_write_ispendr(gic_fd, intid, vcpu); in kvm_irq_write_ispendr_check()