Searched refs:kvm_device_supported (Results 1 – 3 of 3) sorted by relevance
54 if (kvm_device_supported(fdarray[1], KVM_DEV_TYPE_ARM_VGIC_V2)) { in gic_cap_kvm_probe()59 if (kvm_device_supported(fdarray[1], KVM_DEV_TYPE_ARM_VGIC_V3)) { in gic_cap_kvm_probe()
314 bool kvm_device_supported(int vmfd, uint64_t type);
3718 bool kvm_device_supported(int vmfd, uint64_t type) in kvm_device_supported() function