Searched refs:kvm_register_vgic_device (Results 1 – 4 of 4) sorted by relevance
670 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v3_probe()677 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3); in vgic_v3_probe()
265 int kvm_register_vgic_device(unsigned long type);
380 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v2_probe()
315 int kvm_register_vgic_device(unsigned long type) in kvm_register_vgic_device() function
