Lines Matching defs:gic_fd

528 void kvm_irq_set_level_info_check(int gic_fd, uint32_t intid, int level,
532 		kvm_irq_set_level_info(gic_fd, intid, level);
534 		int ret = _kvm_irq_set_level_info(gic_fd, intid, level);
582 static void kvm_irq_write_ispendr_check(int gic_fd, uint32_t intid,
594 		kvm_irq_write_ispendr(gic_fd, intid, vcpu);
648 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd,
685 			kvm_irq_set_level_info_check(gic_fd, i, 1,
695 			kvm_irq_write_ispendr_check(gic_fd, i, vcpu,
700 			kvm_irq_write_isactiver(gic_fd, i, vcpu);
728 	int gic_fd;
754 	gic_fd = vgic_v3_setup(vm, 1, nr_irqs);
765 			run_guest_cmd(vcpu, gic_fd, &inject_args, &args);
778 	close(gic_fd);