Searched refs:vgic_v4_init (Results 1 – 4 of 4) sorted by relevance
340 int vgic_v4_init(struct kvm *kvm);
317 ret = vgic_v4_init(kvm); in vgic_init()
239 int vgic_v4_init(struct kvm *kvm) in vgic_v4_init() function
1962 ret = vgic_v4_init(dev->kvm); in vgic_its_create()