Searched refs:vgic_v4_init (Results 1 – 4 of 4) sorted by relevance
308 ret = vgic_v4_init(kvm); in vgic_init()
330 int vgic_v4_init(struct kvm *kvm);
234 int vgic_v4_init(struct kvm *kvm) in vgic_v4_init() function
1949 int ret = vgic_v4_init(dev->kvm); in vgic_its_create()
