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