Searched refs:kvm_register_vgic_device (Results 1 – 4 of 4) sorted by relevance
652 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v3_probe()659 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3); in vgic_v3_probe()
248 int kvm_register_vgic_device(unsigned long type);
381 ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V2); in vgic_v2_probe()
262 int kvm_register_vgic_device(unsigned long type) in kvm_register_vgic_device() function
