Searched refs:kvm_register_vgic_device (Results 1 – 4 of 4) sorted by relevance
623 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v3_probe()630 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3); in vgic_v3_probe()
255 int kvm_register_vgic_device(unsigned long type);
414 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v2_probe()
267 int kvm_register_vgic_device(unsigned long type) in kvm_register_vgic_device() function