vgic_init
ret = vgic_init(kvm);
r = vgic_init(dev->kvm);
ret = vgic_init(dev->kvm);
int vgic_init(struct kvm *kvm);