536 void kvm_irq_set_level_info_check(int gic_fd, uint32_t intid, int level,  in kvm_irq_set_level_info_check()  argument
540 		kvm_irq_set_level_info(gic_fd, intid, level);  in kvm_irq_set_level_info_check()
542 		int ret = _kvm_irq_set_level_info(gic_fd, intid, level);  in kvm_irq_set_level_info_check()
590 static void kvm_irq_write_ispendr_check(int gic_fd, uint32_t intid,  in kvm_irq_write_ispendr_check()  argument
602 		kvm_irq_write_ispendr(gic_fd, intid, vcpu);  in kvm_irq_write_ispendr_check()
662 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd,  in run_guest_cmd()  argument
699 			kvm_irq_set_level_info_check(gic_fd, i, 1,  in run_guest_cmd()
709 			kvm_irq_write_ispendr_check(gic_fd, i, vcpu,  in run_guest_cmd()
714 			kvm_irq_write_isactiver(gic_fd, i, vcpu);  in run_guest_cmd()
742 	int gic_fd;  in test_vgic()  local
769 	gic_fd = vgic_v3_setup(vm, 1, nr_irqs,  in test_vgic()
771 	__TEST_REQUIRE(gic_fd >= 0, "Failed to create vgic-v3, skipping");  in test_vgic()
782 			run_guest_cmd(vcpu, gic_fd, &inject_args, &args);  in test_vgic()
795 	close(gic_fd);  in test_vgic()