Searched refs:fdarray (Results 1 – 2 of 2) sorted by relevance
49 int fdarray[3]; in gic_cap_kvm_probe() local51 if (!kvm_arm_create_scratch_host_vcpu(fdarray, NULL)) { in gic_cap_kvm_probe()56 if (kvm_device_supported(fdarray[1], KVM_DEV_TYPE_ARM_VGIC_V2)) { in gic_cap_kvm_probe()61 if (kvm_device_supported(fdarray[1], KVM_DEV_TYPE_ARM_VGIC_V3)) { in gic_cap_kvm_probe()65 kvm_arm_destroy_scratch_host_vcpu(fdarray); in gic_cap_kvm_probe()
115 bool kvm_arm_create_scratch_host_vcpu(int *fdarray,124 void kvm_arm_destroy_scratch_host_vcpu(int *fdarray);