528 void kvm_irq_set_level_info_check(int gic_fd, uint32_t intid, int level,  in kvm_irq_set_level_info_check()  argument
532 		kvm_irq_set_level_info(gic_fd, intid, level);  in kvm_irq_set_level_info_check()
534 		int ret = _kvm_irq_set_level_info(gic_fd, intid, level);  in kvm_irq_set_level_info_check()
582 static void kvm_irq_write_ispendr_check(int gic_fd, uint32_t intid,  in kvm_irq_write_ispendr_check()  argument
594 		kvm_irq_write_ispendr(gic_fd, intid, vcpu);  in kvm_irq_write_ispendr_check()
654 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd,  in run_guest_cmd()  argument
691 			kvm_irq_set_level_info_check(gic_fd, i, 1,  in run_guest_cmd()
701 			kvm_irq_write_ispendr_check(gic_fd, i, vcpu,  in run_guest_cmd()
706 			kvm_irq_write_isactiver(gic_fd, i, vcpu);  in run_guest_cmd()
734 	int gic_fd;  in test_vgic()  local
760 	gic_fd = vgic_v3_setup(vm, 1, nr_irqs);  in test_vgic()
761 	__TEST_REQUIRE(gic_fd >= 0, "Failed to create vgic-v3, skipping");  in test_vgic()
772 			run_guest_cmd(vcpu, gic_fd, &inject_args, &args);  in test_vgic()
785 	close(gic_fd);  in test_vgic()