Searched refs:vgic_its_free_device (Results 1 – 1 of 1) sorted by relevance
1123 static void vgic_its_free_device(struct kvm *kvm, struct vgic_its *its, in vgic_its_free_device() function1148 vgic_its_free_device(kvm, its, cur); in vgic_its_free_device_list()1208 vgic_its_free_device(kvm, its, device); in vgic_its_cmd_handle_mapd()2350 vgic_its_free_device(its->dev->kvm, its, dev); in vgic_its_restore_dte()