| H A D | vgic_irq.c | 551 void kvm_irq_set_level_info_check(int gic_fd, u32 intid, int level, in kvm_irq_set_level_info_check() argument 555 kvm_irq_set_level_info(gic_fd, intid, level); in kvm_irq_set_level_info_check() 557 int ret = _kvm_irq_set_level_info(gic_fd, intid, level); in kvm_irq_set_level_info_check() 606 static void kvm_irq_write_ispendr_check(int gic_fd, u32 intid, in kvm_irq_write_ispendr_check() argument 618 kvm_irq_write_ispendr(gic_fd, intid, vcpu); in kvm_irq_write_ispendr_check() 672 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd, in run_guest_cmd() argument 709 kvm_irq_set_level_info_check(gic_fd, i, 1, in run_guest_cmd() 719 kvm_irq_write_ispendr_check(gic_fd, i, vcpu, in run_guest_cmd() 724 kvm_irq_write_isactiver(gic_fd, i, vcpu); in run_guest_cmd() 752 int gic_fd; in test_vgic() local 991 int gic_fd, ret; test_vgic_two_cpus() local [all...] |