Searched refs:vgic_init (Results 1 – 2 of 2) sorted by relevance
276 int vgic_init(struct kvm *kvm);
309 ret = vgic_init(kvm); in vgic_v2_map_resources()