Searched refs:kvm_register_vgic_device (Results 1 – 4 of 4) sorted by relevance
673 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v3_probe()680 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3); in vgic_v3_probe()
254 int kvm_register_vgic_device(unsigned long type);
386 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v2_probe()
269 int kvm_register_vgic_device(unsigned long type) in kvm_register_vgic_device() function