Lines Matching refs:gic_fd
529 void kvm_irq_set_level_info_check(int gic_fd, uint32_t intid, int level,
533 kvm_irq_set_level_info(gic_fd, intid, level);
535 int ret = _kvm_irq_set_level_info(gic_fd, intid, level);
583 static void kvm_irq_write_ispendr_check(int gic_fd, uint32_t intid,
595 kvm_irq_write_ispendr(gic_fd, intid, vcpu);
655 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd,
692 kvm_irq_set_level_info_check(gic_fd, i, 1,
702 kvm_irq_write_ispendr_check(gic_fd, i, vcpu,
707 kvm_irq_write_isactiver(gic_fd, i, vcpu);
735 int gic_fd;
761 gic_fd = vgic_v3_setup(vm, 1, nr_irqs);
762 __TEST_REQUIRE(gic_fd >= 0, "Failed to create vgic-v3, skipping");
773 run_guest_cmd(vcpu, gic_fd, &inject_args, &args);
786 close(gic_fd);