Searched refs:vgic_register_dist_iodev (Results 1 – 3 of 3) sorted by relevance
212 int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
531 ret = vgic_register_dist_iodev(kvm, dist_base, type); in kvm_vgic_map_resources()
1080 int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address, in vgic_register_dist_iodev() function